Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Algebraic_data_type> ?p ?o }
- Algebraic_data_type abstract "In computer programming, particularly functional programming and type theory, an algebraic data type is a kind of composite type, i.e. a type formed by combining other types.Two common classes of algebraic type are product types—i.e. tuples and records—and sum types, also called tagged or disjoint unions or variant types.The values of a product type typically contain several values, called fields. All values of that type have the same combination of field types. The set of all possible values of a product type is the set-theoretical product of the sets of all possible values of its field types.The values of a sum type are typically grouped into several classes, called variants. A value of a variant type is usually created with a quasi-functional entity called a constructor. Each variant has its own constructor, which takes a specified number of arguments with specified types.The set of all possible values of a sum type is the set-theoretical sum, i.e. the disjoint union, of the sets of all possible values of its variants. Enumerated types are a special case of sum types in which the constructors take no arguments, as exactly one value is defined for each type.Values of algebraic types are analyzed with pattern matching, which identifies a value by its constructor or field names and extracts the data it contains.Algebraic data types were introduced in Hope, a small functional programming language developed in the 1970s at Edinburgh University.".
- Algebraic_data_type wikiPageID "283867".
- Algebraic_data_type wikiPageLength "13764".
- Algebraic_data_type wikiPageOutDegree "70".
- Algebraic_data_type wikiPageRevisionID "683719276".
- Algebraic_data_type wikiPageWikiLink Abstract_syntax.
- Algebraic_data_type wikiPageWikiLink Cartesian_product.
- Algebraic_data_type wikiPageWikiLink Category:Articles_with_example_Haskell_code.
- Algebraic_data_type wikiPageWikiLink Category:Composite_data_types.
- Algebraic_data_type wikiPageWikiLink Category:Data_types.
- Algebraic_data_type wikiPageWikiLink Category:Functional_programming.
- Algebraic_data_type wikiPageWikiLink Category:Type_theory.
- Algebraic_data_type wikiPageWikiLink Ceylon_(programming_language).
- Algebraic_data_type wikiPageWikiLink Clean_(programming_language).
- Algebraic_data_type wikiPageWikiLink Composite_data_type.
- Algebraic_data_type wikiPageWikiLink Composite_type.
- Algebraic_data_type wikiPageWikiLink Computer_programming.
- Algebraic_data_type wikiPageWikiLink D_(programming_language).
- Algebraic_data_type wikiPageWikiLink Disjoint_union.
- Algebraic_data_type wikiPageWikiLink Elm_(programming_language).
- Algebraic_data_type wikiPageWikiLink Empty_product.
- Algebraic_data_type wikiPageWikiLink Enumerated_type.
- Algebraic_data_type wikiPageWikiLink F_Sharp_(programming_language).
- Algebraic_data_type wikiPageWikiLink Functional_programming.
- Algebraic_data_type wikiPageWikiLink Generalized_algebraic_data_type.
- Algebraic_data_type wikiPageWikiLink Haskell_(programming_language).
- Algebraic_data_type wikiPageWikiLink Haxe.
- Algebraic_data_type wikiPageWikiLink Hope_(programming_language).
- Algebraic_data_type wikiPageWikiLink Initial_algebra.
- Algebraic_data_type wikiPageWikiLink Julia_(programming_language).
- Algebraic_data_type wikiPageWikiLink Kotlin_(programming_language).
- Algebraic_data_type wikiPageWikiLink Lambert_Meertens.
- Algebraic_data_type wikiPageWikiLink Language_Of_Temporal_Ordering_Specification.
- Algebraic_data_type wikiPageWikiLink Limbo_(programming_language).
- Algebraic_data_type wikiPageWikiLink Mercury_(programming_language).
- Algebraic_data_type wikiPageWikiLink Miranda_(programming_language).
- Algebraic_data_type wikiPageWikiLink Nemerle.
- Algebraic_data_type wikiPageWikiLink Nested_data_type.
- Algebraic_data_type wikiPageWikiLink OCaml.
- Algebraic_data_type wikiPageWikiLink Opa_(programming_language).
- Algebraic_data_type wikiPageWikiLink Parametric_polymorphism.
- Algebraic_data_type wikiPageWikiLink Pattern_matching.
- Algebraic_data_type wikiPageWikiLink Product_type.
- Algebraic_data_type wikiPageWikiLink Quotient_type.
- Algebraic_data_type wikiPageWikiLink Racket_(programming_language).
- Algebraic_data_type wikiPageWikiLink Record_(computer_science).
- Algebraic_data_type wikiPageWikiLink Recursive_data_type.
- Algebraic_data_type wikiPageWikiLink Recursive_type.
- Algebraic_data_type wikiPageWikiLink Red-black_tree.
- Algebraic_data_type wikiPageWikiLink Red–black_tree.
- Algebraic_data_type wikiPageWikiLink Regular_expression.
- Algebraic_data_type wikiPageWikiLink Richard_Bird_(computer_scientist).
- Algebraic_data_type wikiPageWikiLink Rust_(programming_language).
- Algebraic_data_type wikiPageWikiLink Scala_(programming_language).
- Algebraic_data_type wikiPageWikiLink Set_theory.
- Algebraic_data_type wikiPageWikiLink Shen_(programming_language).
- Algebraic_data_type wikiPageWikiLink Standard_ML.
- Algebraic_data_type wikiPageWikiLink Sum_type.
- Algebraic_data_type wikiPageWikiLink Swift_(Apple_programming_language).
- Algebraic_data_type wikiPageWikiLink Swift_(programming_language).
- Algebraic_data_type wikiPageWikiLink Tagged_union.
- Algebraic_data_type wikiPageWikiLink Tom_(pattern_matching_language).
- Algebraic_data_type wikiPageWikiLink Tuple.
- Algebraic_data_type wikiPageWikiLink Type_safety.
- Algebraic_data_type wikiPageWikiLink Type_theory.
- Algebraic_data_type wikiPageWikiLink Value_(computer_science).
- Algebraic_data_type wikiPageWikiLink Visitor_pattern.
- Algebraic_data_type wikiPageWikiLink Visual_Prolog.
- Algebraic_data_type wikiPageWikiLinkText "ADT".
- Algebraic_data_type wikiPageWikiLinkText "Algebraic data type".
- Algebraic_data_type wikiPageWikiLinkText "Algebraic_data_type".
- Algebraic_data_type wikiPageWikiLinkText "algebraic data structures".
- Algebraic_data_type wikiPageWikiLinkText "algebraic data type".
- Algebraic_data_type wikiPageWikiLinkText "algebraic".
- Algebraic_data_type wikiPageWikiLinkText "constructors".
- Algebraic_data_type wikiPageWikiLinkText "data constructor".
- Algebraic_data_type wikiPageWikiLinkText "inductive families of data types".
- Algebraic_data_type wikiPageWikiLinkText "type".
- Algebraic_data_type hasPhotoCollection Algebraic_data_type.
- Algebraic_data_type wikiPageUsesTemplate Template:Data_types.
- Algebraic_data_type wikiPageUsesTemplate Template:FOLDOC.
- Algebraic_data_type wikiPageUsesTemplate Template:Main.
- Algebraic_data_type subject Category:Articles_with_example_Haskell_code.
- Algebraic_data_type subject Category:Composite_data_types.
- Algebraic_data_type subject Category:Data_types.
- Algebraic_data_type subject Category:Functional_programming.
- Algebraic_data_type subject Category:Type_theory.
- Algebraic_data_type hypernym Kind.
- Algebraic_data_type type Article.
- Algebraic_data_type type Type.
- Algebraic_data_type type Article.
- Algebraic_data_type type Structure.
- Algebraic_data_type type Type.
- Algebraic_data_type type Thing.
- Algebraic_data_type comment "In computer programming, particularly functional programming and type theory, an algebraic data type is a kind of composite type, i.e. a type formed by combining other types.Two common classes of algebraic type are product types—i.e. tuples and records—and sum types, also called tagged or disjoint unions or variant types.The values of a product type typically contain several values, called fields. All values of that type have the same combination of field types.".
- Algebraic_data_type label "Algebraic data type".
- Algebraic_data_type sameAs Tipus_de_dades_algebraic.
- Algebraic_data_type sameAs Αλγεβρικός_τύπος_δεδομένων.
- Algebraic_data_type sameAs Tipo_de_dato_algebraico.
- Algebraic_data_type sameAs Type_algébrique_de_données.