Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Type_family> ?p ?o }
Showing triples 1 to 59 of
59
with 100 triples per page.
- Type_family abstract "In computer science, a type family associates data types with other data types, using a type-level function defined by an open-ended collection of valid instances of input types and the corresponding output types.Type families are a feature of some type systems that allow partial functions between types to be defined by pattern matching. This is in contrast to data type constructors, which define injective functions from all types of a particular kind to a new set of types, and type synonyms (a.k.a. typedef), which define functions from all types of a particular kind to another existing set of types using a single case.Type families and type classes are closely related: normal type classes define partial functions from types to a collection of named values by pattern matching on the input types, while type families define partial functions from types to types by pattern matching on the input types. In fact, in many uses of type families there is a single type class which logically contains both values and types associated with each instance. A type family declared inside a type class is called an associated type.Programming languages with support for type families or similar features include Haskell (with a common language extension), Standard ML (through its module system), Scala (under the name \"abstract types\"), and C++ (through use of typedefs in templates).".
- Type_family wikiPageExternalLink Type_families.
- Type_family wikiPageID "38573159".
- Type_family wikiPageLength "9126".
- Type_family wikiPageOutDegree "38".
- Type_family wikiPageRevisionID "699950293".
- Type_family wikiPageWikiLink Abstract_data_type.
- Type_family wikiPageWikiLink Algebraic_data_type.
- Type_family wikiPageWikiLink Array_data_structure.
- Type_family wikiPageWikiLink Array_data_type.
- Type_family wikiPageWikiLink Bit_array.
- Type_family wikiPageWikiLink Boolean_data_type.
- Type_family wikiPageWikiLink C++.
- Type_family wikiPageWikiLink Category:Articles_with_example_Haskell_code.
- Type_family wikiPageWikiLink Category:Data_types.
- Type_family wikiPageWikiLink Category:Functional_programming.
- Type_family wikiPageWikiLink Category:Type_theory.
- Type_family wikiPageWikiLink Codomain.
- Type_family wikiPageWikiLink Computer_science.
- Type_family wikiPageWikiLink Data_structure.
- Type_family wikiPageWikiLink Data_type.
- Type_family wikiPageWikiLink Design_pattern.
- Type_family wikiPageWikiLink Function_(mathematics).
- Type_family wikiPageWikiLink Generic_programming.
- Type_family wikiPageWikiLink Glasgow_Haskell_Compiler.
- Type_family wikiPageWikiLink Haskell_(programming_language).
- Type_family wikiPageWikiLink Injective_function.
- Type_family wikiPageWikiLink Kind_(type_theory).
- Type_family wikiPageWikiLink Model–view–controller.
- Type_family wikiPageWikiLink Ordered_pair.
- Type_family wikiPageWikiLink Pattern_matching.
- Type_family wikiPageWikiLink Programming_language.
- Type_family wikiPageWikiLink Scala_(programming_language).
- Type_family wikiPageWikiLink Standard_ML.
- Type_family wikiPageWikiLink Type_class.
- Type_family wikiPageWikiLink Type_constructor.
- Type_family wikiPageWikiLink Type_system.
- Type_family wikiPageWikiLink Typedef.
- Type_family wikiPageWikiLinkText "Type family".
- Type_family wikiPageWikiLinkText "type family".
- Type_family wikiPageUsesTemplate Template:About.
- Type_family wikiPageUsesTemplate Template:Reflist.
- Type_family subject Category:Articles_with_example_Haskell_code.
- Type_family subject Category:Data_types.
- Type_family subject Category:Functional_programming.
- Type_family subject Category:Type_theory.
- Type_family hypernym Feature.
- Type_family type Type.
- Type_family type Work.
- Type_family type Redirect.
- Type_family type Structure.
- Type_family type Type.
- Type_family comment "In computer science, a type family associates data types with other data types, using a type-level function defined by an open-ended collection of valid instances of input types and the corresponding output types.Type families are a feature of some type systems that allow partial functions between types to be defined by pattern matching.".
- Type_family label "Type family".
- Type_family sameAs Q7860902.
- Type_family sameAs m.0r8m0q9.
- Type_family sameAs Q7860902.
- Type_family wasDerivedFrom Type_family?oldid=699950293.
- Type_family isPrimaryTopicOf Type_family.