Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Algebraic_data_type> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items per page.
- 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 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.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 wikiPageRevisionID "596543125".
- Algebraic_data_type hasPhotoCollection Algebraic_data_type.
- 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 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 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 label "Algebraïsch datatype".
- Algebraic_data_type label "Tipo de dato algebraico".
- Algebraic_data_type label "Type algébrique de données".
- Algebraic_data_type label "Алгебраический тип данных".
- Algebraic_data_type label "代数的データ型".
- Algebraic_data_type sameAs Αλγεβρικός_τύπος_δεδομένων.
- Algebraic_data_type sameAs Tipo_de_dato_algebraico.
- Algebraic_data_type sameAs Type_algébrique_de_données.
- Algebraic_data_type sameAs 代数的データ型.
- Algebraic_data_type sameAs 대수적_자료형.
- Algebraic_data_type sameAs Algebraïsch_datatype.
- Algebraic_data_type sameAs m.01ps3t.
- Algebraic_data_type sameAs Q1322511.
- Algebraic_data_type sameAs Q1322511.
- Algebraic_data_type wasDerivedFrom Algebraic_data_type?oldid=596543125.
- Algebraic_data_type isPrimaryTopicOf Algebraic_data_type.