Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Principal_type> ?p ?o }
Showing triples 1 to 33 of
33
with 100 triples per page.
- Principal_type abstract "In type theory, a type system is said to have the principal type property if, given a term and an environment, there exists a principal type for this term in this environment, i.e. a type such that all other types for this term in this environment are an instance of the principal type.The principal type property is a desirable one for a type system, as it provides a way to type expressions in a given environment with a type which encompasses all of the expressions' possible types, instead of having several incomparable possible types. Type inference for systems with the principal type property will usually attempt to infer the principal type.For instance, the ML system has the principal type property and principal types for an expression can be computed by Robinson's unification algorithm, which is used by the Hindley–Milner type inference algorithm. However, many extensions to the type system of ML, such as polymorphic recursion, can make the inference of the principal type undecidable. Other extensions, such as Haskell's generalized algebraic data types, destroy the principal type property of the language, requiring the use of type annotations or the compiler to \"guess\" the intended type from among several options.The principal type property should not be confused with the principal typing property which requires that, given a term, there exist a typing (i.e. a pair with a context and a type) which is an instance of all possible typings of the term.".
- Principal_type wikiPageID "4401265".
- Principal_type wikiPageLength "1855".
- Principal_type wikiPageOutDegree "13".
- Principal_type wikiPageRevisionID "698034242".
- Principal_type wikiPageWikiLink Category:Type_inference.
- Principal_type wikiPageWikiLink Category:Type_theory.
- Principal_type wikiPageWikiLink Generalized_algebraic_data_type.
- Principal_type wikiPageWikiLink Haskell_(programming_language).
- Principal_type wikiPageWikiLink Hindley–Milner_type_system.
- Principal_type wikiPageWikiLink Instance_(type_theory).
- Principal_type wikiPageWikiLink ML_(programming_language).
- Principal_type wikiPageWikiLink Polymorphic_recursion.
- Principal_type wikiPageWikiLink Type_inference.
- Principal_type wikiPageWikiLink Type_signature.
- Principal_type wikiPageWikiLink Type_system.
- Principal_type wikiPageWikiLink Type_theory.
- Principal_type wikiPageWikiLink Unification_(computer_science).
- Principal_type wikiPageWikiLinkText "Principal type".
- Principal_type wikiPageWikiLinkText "most general type".
- Principal_type wikiPageWikiLinkText "principal type".
- Principal_type wikiPageUsesTemplate Template:Reflist.
- Principal_type wikiPageUsesTemplate Template:Type-theory-stub.
- Principal_type subject Category:Type_inference.
- Principal_type subject Category:Type_theory.
- Principal_type type Redirect.
- Principal_type comment "In type theory, a type system is said to have the principal type property if, given a term and an environment, there exists a principal type for this term in this environment, i.e.".
- Principal_type label "Principal type".
- Principal_type sameAs Q7245096.
- Principal_type sameAs m.0c07p1.
- Principal_type sameAs Q7245096.
- Principal_type wasDerivedFrom Principal_type?oldid=698034242.
- Principal_type isPrimaryTopicOf Principal_type.