DBpedia – Linked Data Fragments

Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Product_type> ?p ?o }

• Product_type abstract "In programming languages and type theory, a product of types is another, compounded, type in a structure. The "operands" of the product are types, and the structure of a product type is determined by the fixed order of the operands in the product. An instance of a product type retains the fixed order, but otherwise may contain all possible instances of its primitive data types. The expression of an instance of a product type will be a tuple, and is called a "tuple type" of expression. A product of types is a direct product of two or more types.If there are only two component types, it can be called a "pair type". For example, if two component types A and B are the set of all possible values that type, the product type written A × B contains elements that are pairs (a,b), where "a" and "b" are instances of A and B respectively. The pair type is a special case of the dependent pair type, where the type B may depend on the instance picked from A.In many languages, product types take the form of a record type, for which the components of a tuple can be accessed by label. In languages that have algebraic data types, as in most functional programming languages, algebraic data types with one constructor are isomorphic to a product type.In the Curry-Howard correspondence, product types are associated with logical conjunction (AND) in logic.The notion directly extends to the product of an arbitrary finite number of types (a n-ary product type), and in this case, it characterizes the expressions which behave as tuples of expressions of the corresponding types. A degenerated form of product type is the unit type: it is the product of no types.In call-by-value programming languages, a product type can be interpreted as a set of pairs whose first component is a value in the first type and whose second component is a value in the second type. In short, it is a cartesian product and it corresponds to a product in the category of types.Most functional programming languages have a primitive notion of product type. For instance, the product of type1, ..., typen is written type1 * ... * typen in ML and (type1,...,typen) in Haskell. In both these languages, tuples are written (v1,...,vn) and the components of a tuple are extracted by pattern-matching. Additionally, many functional programming languages provide more general algebraic data types, which extend both product and sum types. Product types are the dual of sum types.".
• Product_type wikiPageExternalLink the-hott-book.
• Product_type wikiPageExternalLink si_brochure.
• Product_type wikiPageID "14892710".
• Product_type wikiPageLength "4141".
• Product_type wikiPageOutDegree "36".
• Product_type wikiPageRevisionID "650472943".
• Product_type wikiPageWikiLink Abelian_group.
• Product_type wikiPageWikiLink Algebraic_data_type.
• Product_type wikiPageWikiLink Cartesian_product.
• Product_type wikiPageWikiLink Category:Composite_data_types.
• Product_type wikiPageWikiLink Category:Data_types.
• Product_type wikiPageWikiLink Category:Type_theory.
• Product_type wikiPageWikiLink Curry-Howard_correspondence.
• Product_type wikiPageWikiLink Curry–Howard_correspondence.
• Product_type wikiPageWikiLink Data_type.
• Product_type wikiPageWikiLink Dependent_type.
• Product_type wikiPageWikiLink Dimensional_analysis.
• Product_type wikiPageWikiLink Direct_product.
• Product_type wikiPageWikiLink Dual_(mathematics).
• Product_type wikiPageWikiLink Duality_(mathematics).
• Product_type wikiPageWikiLink Empty_product.
• Product_type wikiPageWikiLink Evaluation_strategy.
• Product_type wikiPageWikiLink Field_(mathematics).
• Product_type wikiPageWikiLink Functional_programming.
• Product_type wikiPageWikiLink Haskell_(programming_language).
• Product_type wikiPageWikiLink Identifier.
• Product_type wikiPageWikiLink Logical_conjunction.
• Product_type wikiPageWikiLink ML_(programming_language).
• Product_type wikiPageWikiLink ML_programming_language.
• Product_type wikiPageWikiLink Pattern-matching.
• Product_type wikiPageWikiLink Pattern_matching.
• Product_type wikiPageWikiLink Primitive_data_type.
• Product_type wikiPageWikiLink Primitive_notion.
• Product_type wikiPageWikiLink Product_(category_theory).
• Product_type wikiPageWikiLink Programming_language.
• Product_type wikiPageWikiLink Real_number.
• Product_type wikiPageWikiLink Record_(computer_science).
• Product_type wikiPageWikiLink Sum_type.
• Product_type wikiPageWikiLink Tagged_union.
• Product_type wikiPageWikiLink Tuple.
• Product_type wikiPageWikiLink Type_theory.
• Product_type wikiPageWikiLink Unit_type.
• Product_type wikiPageWikiLink Value_(computer_science).
• Product_type wikiPageWikiLink Vector_space.
• Product_type wikiPageWikiLinkText "Product type".
• Product_type wikiPageWikiLinkText "product type".
• Product_type hasPhotoCollection Product_type.
• Product_type id "product+type".
• Product_type title "product type".
• Product_type wikiPageUsesTemplate Template:Data_types.
• Product_type wikiPageUsesTemplate Template:Nlab.
• Product_type subject Category:Composite_data_types.
• Product_type subject Category:Data_types.
• Product_type subject Category:Type_theory.
• Product_type type Article.
• Product_type type Type.
• Product_type type Article.
• Product_type type Structure.
• Product_type type Type.
• Product_type comment "In programming languages and type theory, a product of types is another, compounded, type in a structure. The "operands" of the product are types, and the structure of a product type is determined by the fixed order of the operands in the product. An instance of a product type retains the fixed order, but otherwise may contain all possible instances of its primitive data types. The expression of an instance of a product type will be a tuple, and is called a "tuple type" of expression.".
• Product_type label "Product type".
• Product_type sameAs m.03h0pn0.
• Product_type sameAs Тип-произведение.
• Product_type sameAs Q7247800.
• Product_type sameAs Q7247800.
• Product_type wasDerivedFrom Product_type?oldid=650472943.
• Product_type isPrimaryTopicOf Product_type.