principal type

P p

Transcription

- US Pronunciation
- US IPA

- US Pronunciation
- US IPA

Definition of principal type words

noun Technical meaning of principal type The most general type of an expression. For example, the following are all valid types for the lambda abstraction (\ x . x): Int -> Int Bool -> Bool (a->b) -> (a->b) but any valid type will be an instance of the principal type: a -> a. An instance is derived by substituting the same type expression for all occurences of some type variable. The principal type of an expression can be computed from those of its subexpressions by Robinson's unification algorithm. 1

Just one definition for principal type

Information block about the term

Parts of speech for Principal type

noun

adjective

verb

adverb

pronoun

preposition

conjunction

determiner

exclamation

Full grammatical hierarchy of Principal type

See also

All definitions of principal type

Matching words

Was this page helpful?

Yes No

Thank you for your feedback! Tell your friends about this page

Tell us why?