Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q1322511> ?p ?o }
Showing triples 1 to 68 of
68
with 100 triples per page.
- Q1322511 subject Q7029162.
- Q1322511 subject Q7451631.
- Q1322511 subject Q7467456.
- Q1322511 subject Q8268981.
- Q1322511 subject Q8405745.
- Q1322511 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, i.e. the Cartesian 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.".
- Q1322511 wikiPageWikiLink Q1056428.
- Q1322511 wikiPageWikiLink Q1196827.
- Q1322511 wikiPageWikiLink Q12482.
- Q1322511 wikiPageWikiLink Q1254148.
- Q1322511 wikiPageWikiLink Q1413465.
- Q1322511 wikiPageWikiLink Q1503724.
- Q1322511 wikiPageWikiLink Q17045118.
- Q1322511 wikiPageWikiLink Q17118377.
- Q1322511 wikiPageWikiLink Q173740.
- Q1322511 wikiPageWikiLink Q1805432.
- Q1322511 wikiPageWikiLink Q1812172.
- Q1322511 wikiPageWikiLink Q185612.
- Q1322511 wikiPageWikiLink Q193076.
- Q1322511 wikiPageWikiLink Q20080327.
- Q1322511 wikiPageWikiLink Q206040.
- Q1322511 wikiPageWikiLink Q212587.
- Q1322511 wikiPageWikiLink Q2470517.
- Q1322511 wikiPageWikiLink Q2613697.
- Q1322511 wikiPageWikiLink Q2626413.
- Q1322511 wikiPageWikiLink Q285886.
- Q1322511 wikiPageWikiLink Q3098441.
- Q1322511 wikiPageWikiLink Q319268.
- Q1322511 wikiPageWikiLink Q333373.
- Q1322511 wikiPageWikiLink Q3353033.
- Q1322511 wikiPageWikiLink Q3353105.
- Q1322511 wikiPageWikiLink Q34010.
- Q1322511 wikiPageWikiLink Q3557516.
- Q1322511 wikiPageWikiLink Q377986.
- Q1322511 wikiPageWikiLink Q380172.
- Q1322511 wikiPageWikiLink Q3816639.
- Q1322511 wikiPageWikiLink Q4040754.
- Q1322511 wikiPageWikiLink Q460584.
- Q1322511 wikiPageWikiLink Q506496.
- Q1322511 wikiPageWikiLink Q5366250.
- Q1322511 wikiPageWikiLink Q544927.
- Q1322511 wikiPageWikiLink Q575650.
- Q1322511 wikiPageWikiLink Q597330.
- Q1322511 wikiPageWikiLink Q600590.
- Q1322511 wikiPageWikiLink Q6034125.
- Q1322511 wikiPageWikiLink Q627600.
- Q1322511 wikiPageWikiLink Q6481274.
- Q1322511 wikiPageWikiLink Q648619.
- Q1322511 wikiPageWikiLink Q7029162.
- Q1322511 wikiPageWikiLink Q7135231.
- Q1322511 wikiPageWikiLink Q7247800.
- Q1322511 wikiPageWikiLink Q7324173.
- Q1322511 wikiPageWikiLink Q736866.
- Q1322511 wikiPageWikiLink Q7424115.
- Q1322511 wikiPageWikiLink Q7451631.
- Q1322511 wikiPageWikiLink Q7467456.
- Q1322511 wikiPageWikiLink Q760170.
- Q1322511 wikiPageWikiLink Q7675229.
- Q1322511 wikiPageWikiLink Q780803.
- Q1322511 wikiPageWikiLink Q80006.
- Q1322511 wikiPageWikiLink Q8268981.
- Q1322511 wikiPageWikiLink Q830719.
- Q1322511 wikiPageWikiLink Q8405745.
- Q1322511 wikiPageWikiLink Q842620.
- Q1322511 wikiPageWikiLink Q860654.
- Q1322511 wikiPageWikiLink Q93482.
- Q1322511 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.".
- Q1322511 label "Algebraic data type".