Обобщенный алгебраический тип данных

Обобщенный алгебраический тип данных

Обобщённый алгебраи́ческий тип да́нных — один из видов алгебраических типов данных, который характеризуется тем, что его конструкторы могут возвращать значения не своего типа. Это понятие реализовано в нескольких языках программирования, в частности в языках Haskell, причём в последнем оно не входит в стандарт языка Haskell-98, а реализовано только в одном из расширений компилятора GHC.



Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Смотреть что такое "Обобщенный алгебраический тип данных" в других словарях:

  • Высший тип — (top type) в теории типов, часто обозначаемый как просто вершина или «закрепленным» символом (⊤),  универсальный тип, то есть такой тип, который содержит в себе каждый возможный объект в нужной системе типов. Высший тип иногда именуется… …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»