Английская Википедия:Generalized algebraic data type: история изменений

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Выбор версий: отметьте версии страницы, которые вы хотите сравнить, и нажмите Enter или кнопку ниже.
Пояснения: (текущ.) — отличия от текущей версии; (пред.) — отличия от предшествующей версии; м — малые изменения.

12 марта 2024

  • текущ.пред. 00:3600:36, 12 марта 2024EducationBot обсуждение вклад 14 651 байт +14 651 Новая страница: «{{Английская Википедия/Панель перехода}} In functional programming, a '''generalized algebraic data type''' ('''GADT''', also '''first-class phantom type''',{{sfn|Cheney|Hinze|2003}} '''guarded recursive datatype''',{{sfn|Xi|Chen|Chen|2003}} or '''equality-qualified type'''{{sfn|Sheard|Pasalic|2004}}) is a generalization of parametric algebraic data types. == Overview == In a GADT, the pro...»