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.
(1994-12-16)
Read Also:
- Principal-value
noun, Mathematics. 1. a value selected at a point in the domain of a multiple-valued function, chosen so that the function has a single value at the point.
- Principate
noun 1. supreme power or office. noun 1. a state ruled by a prince 2. a form of rule in the early Roman Empire in which some republican forms survived
- Principe
noun 1. an island in the Gulf of Guinea, off the W coast of Africa: one of the two chief components of the Democratic Republic of São Tomé and Príncipe. 54 sq. mi. (140 sq. km). noun 1. an island in the Gulf of Guinea, off the W coast of Africa: part of São Tomé […]
- Principia
noun, plural principia [prin-sip-ee-uh] /prɪnˈsɪp i ə/ (Show IPA) 1. a principle. noun (pl) -ia (-ɪə) 1. (usually pl) a principle, esp a fundamental one
- Principium
noun, plural principia [prin-sip-ee-uh] /prɪnˈsɪp i ə/ (Show IPA) 1. a principle. noun (pl) -ia (-ɪə) 1. (usually pl) a principle, esp a fundamental one