Cтраница 4
Переменные процедурного типа чаще всего используют в двух ситуациях - в качестве элементов записей и в качестве параметров процедур. Возможность запомнить внутри записи переменную процедурного типа позволяет ассоциировать операции с конкретными объектами. Использование переменных процедурного типа в качестве параметров процедур позволяет создавать процедуры, выполняющие одни и те же действия над объектами различных типов. Это становится возможным благодаря тому, что интерфейс с типом данных передается в виде переменной процедурного типа. Этот вариант использования переменных процедурного типа проиллюстрирован в следующем разделе. [46]
Ссылочный тип предназначен для обеспечения ссылок на другие данные и называется указателем. Введение указателей характерно для языков процедурного типа, в которых существует понятие области памяти для хранения данных. [47]
Для описания знаний на абстрактном уровне разработаны специальные языки - языки описания знаний. Эти языки также делятся на языки процедурного типа и декларативного. Все языки описания знаний, ориентированные на использование традиционных компьютеров фон-неймановской архитектуры, являются языками процедурного типа. Разработка языков декларативного типа, удобных для представления знаний, является актуальной проблемой сегодняшнего дня. [48]
Для описания знаний на абстрактном уровне разработаны специальные языки - языки описания знании. Эти языки также делятся на языки процедурного типа и декларативного. Все языки описания знаний, ориентированные на использование традиционных компьютеров фон-неймановской архитектуры, являются языками процедурного типа. Разработка языков декларативного типа, удобных для представления знаний, является актуальной проблемой сегодняшнего дня. [49]
Поскольку процедуры-переменные могут использоваться так же; как любые другие переменные, то это наводит на мысль применить их для решения приведенной в примере проблемы в качестве параметров, передаваемых процедуре. Программа на распечатке 8.8 показывает применение процедурных типов и процедур-переменных для решения этой проблемы. [50]
Одним из решений является преобразование указателя в процедурный тип и последующий вызов процедуры с помощью переменной процедурного типа, как в предыдущем листинге. Обратите внимание, что определяемый процедурный тип должен быть совместим с определением процедуры в DLL. Это ахиллесова пята данного подхода: отсутствует проверка действительности типов параметров. [51]