Word:

principal type

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.
Browse
Princified
Principal
Principal axes of a quadric
principal axis
Principal challenge
Principal contract
principal diagonal
Principal focus
principal investigator
Principal obligation
Principal of a quadric
Principal plane
Principal point
Principal ray
Principal section
principal sum
-- principal type --
Principality
Principality of Andorra
Principality of Liechtenstein
Principality of Monaco
Principally
Principalness
principalship
Principate
Principe
Principen
Principia
Principia data sequuntur concomitantia
Principia probant
Principial
Principiant
Principiate
Definitions Index: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

About this site and copyright information - Online Dictionary Home - Privacy Policy