Все доступные журналы
Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску
Общий список журналов сайта Онлайн справочник. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
- 00:36, 12 марта 2024 EducationBot обсуждение вклад создал страницу Английская Википедия:Generalized algebraic data type (Новая страница: «{{Английская Википедия/Панель перехода}} 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...»)