Information | |
---|---|
has gloss | eng: 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. |
lexicalization | eng: Generalized algebraic data type |
instance of | c/Data types |
Meaning | |
---|---|
Russian | |
has gloss | rus: Обобщённый алгебраи́ческий тип да́нных — один из видов алгебраических типов данных, который характеризуется тем, что его конструкторы могут возвращать значения не своего типа. Это понятие реализовано в нескольких языках программирования, в частности в языках ML и Haskell, причём в последнем оно не входит в стандарт языка Haskell-98, а реализовано только в одном из расширений компилятора GHC. |
lexicalization | rus: Обобщенный алгебраический тип данных |
lexicalization | rus: Обобщённый алгебраический тип данных |
Lexvo © 2008-2025 Gerard de Melo. Contact Legal Information / Imprint