Современный уровень Галилео проявляется в трактовке функций как данных ( функция может быть компонентом структуры ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Замулин А.В. Системы программирования баз данных и знаний


Современный уровень Галилео проявляется в трактовке функций как данных ( функция может быть компонентом структуры данных, параметром и результатом работы другой функции), в использовании технологии абстрактных типов данных и во введении строгой типизации всех выражений языка. Примечательная черта Галилео - развитое понятие иерархии типов: если тип t есть подтип типа t, тогда значение тина t может быть использовано в качестве аргумента любой операции, определенной для типа f ( но не наоборот, так как в Галилео отношение быть подтипом является частичным порядком - см. для сравнения отношения между типами в Атланте ( гл.

(cкачать страницу)

Смотреть книгу на libgen

Современный уровень Галилео проявляется в трактовке функций как данных ( функция может быть компонентом структуры данных, параметром и результатом работы другой функции), в использовании технологии абстрактных типов данных и во введении строгой типизации всех выражений языка. Примечательная черта Галилео - развитое понятие иерархии типов: если тип t есть подтип типа t, тогда значение тина t может быть использовано в качестве аргумента любой операции, определенной для типа f ( но не наоборот, так как в Галилео отношение быть подтипом является частичным порядком - см. для сравнения отношения между типами в Атланте ( гл.