Классика баз данных - статьи



         

Система типов


Также остается свобода в выборе формирователей типов. Единственным средством формирования типов, наличия которого мы требуем, является инкапсуляция. Возможны другие формирователи типов, такие как родовые типы или генераторы типов (например, set[T], где T может быть произвольным типом), ограничение, объединение или стрелка (функции).

Система типов может быть первого или второго порядка. Наконец, система типов для переменных может быть богаче системы типов для объектов.




Содержание  Назад  Вперед