Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Type_family> ?p ?o. }
Showing items 1 to 16 of
16
with 100 items 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 wikiPageRevisionID "540124503".
- Type_family hasPhotoCollection Type_family.
- 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 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 m.0r8m0q9.
- Type_family sameAs Q7860902.
- Type_family sameAs Q7860902.
- Type_family wasDerivedFrom Type_family?oldid=540124503.
- Type_family isPrimaryTopicOf Type_family.