e/Generalized algebraic data type

New Query

Information
has glosseng: Generalized algebraic data types are generalizations of the algebraic data types of Haskell and ML, applying to parametric types. With this extension, the parameters of the return type of a data constructor can be freely chosen when declaring the constructor, while for algebraic data types in Haskell 98, the type parameter of the return value is inferred from data types of parameters ; they are currently implemented in the GHC compiler as a non-standard extension, used by, among others, darcs.
lexicalizationeng: Generalized algebraic data type
instance ofc/Data types
Meaning
Russian
has glossrus: Обобщённый алгебраи́ческий тип да́нных — один из видов алгебраических типов данных, который характеризуется тем, что его конструкторы могут возвращать значения не своего типа. Это понятие реализовано в нескольких языках программирования, в частности в языках ML и Haskell, причём в последнем оно не входит в стандарт языка Haskell-98, а реализовано только в одном из расширений компилятора GHC.
lexicalizationrus: Обобщенный алгебраический тип данных
lexicalizationrus: Обобщённый алгебраический тип данных

Query

Word: (case sensitive)
Language: (ISO 639-3 code, e.g. "eng" for English)


Lexvo © 2008-2025 Gerard de Melo.   Contact   Legal Information / Imprint