Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Generalized_algebraic_data_type> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- Generalized_algebraic_data_type abstract "In functional programming, a generalized algebraic data type (GADT, also first-class phantom type, guarded recursive datatype, or equality-qualified type) is a generalization 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, Pugs and Darcs. The Omega programming language extends Haskell with generalized algebraic data types. OCaml supports GADT natively since version 4.00.".
- Generalized_algebraic_data_type wikiPageExternalLink GADTs.
- Generalized_algebraic_data_type wikiPageExternalLink gadt.
- Generalized_algebraic_data_type wikiPageExternalLink 1134.
- Generalized_algebraic_data_type wikiPageExternalLink constraints.
- Generalized_algebraic_data_type wikiPageExternalLink gadt.
- Generalized_algebraic_data_type wikiPageExternalLink Generalised_algebraic_datatype.
- Generalized_algebraic_data_type wikiPageID "6766624".
- Generalized_algebraic_data_type wikiPageRevisionID "561565721".
- Generalized_algebraic_data_type hasPhotoCollection Generalized_algebraic_data_type.
- Generalized_algebraic_data_type subject Category:Composite_data_types.
- Generalized_algebraic_data_type subject Category:Data_types.
- Generalized_algebraic_data_type subject Category:Dependently_typed_programming.
- Generalized_algebraic_data_type subject Category:Functional_programming.
- Generalized_algebraic_data_type subject Category:Type_theory.
- Generalized_algebraic_data_type comment "In functional programming, a generalized algebraic data type (GADT, also first-class phantom type, guarded recursive datatype, or equality-qualified type) is a generalization 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, Pugs and Darcs. ".
- Generalized_algebraic_data_type label "Generalized algebraic data type".
- Generalized_algebraic_data_type label "Обобщённый алгебраический тип данных".
- Generalized_algebraic_data_type sameAs Γενικευμένος_αλγεβρικός_τύπος_δεδομένων.
- Generalized_algebraic_data_type sameAs m.0gmvdk.
- Generalized_algebraic_data_type sameAs Q3557516.
- Generalized_algebraic_data_type sameAs Q3557516.
- Generalized_algebraic_data_type wasDerivedFrom Generalized_algebraic_data_type?oldid=561565721.
- Generalized_algebraic_data_type isPrimaryTopicOf Generalized_algebraic_data_type.