principal type


Also found in: Wikipedia.

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.
References in periodicals archive ?
The principal type of stomata are polycytic but differs in being 10% diacytic and 10% anomocytic.
MANOVA found significant differences in attachment style by Principal Type and Age Group.
Scientists are also working on adjusting the amylose content of indica rice, the principal type grown worldwide.
However, the principal type of rigour that the book inspires is the type known as mortis.
The principal type of involvement the book aims at is hermeneutic, for although the title might suggest otherwise, Chafe does not employ analysis simply as a revealer of "purely musical" structure.
In the other principal type of regio errors, the insertion of the propylene occurs by a 1,3 insertion such that the section of the chain contains only incorporated methylene units.
The nature of the principal type 1 interferon-producing cells in human blood.
While credit cards remain the principal type of electronic payment in the United States in terms of the number and share of transactions, the use of debit cards is growing at a much faster rate.
Eighteen-Degree Water was first described by WHOI physical oceanographer Valentine Worthington in 1959 as one of the major water masses formed in the northern Sargasso Sea in late winter: It is the principal type of subtropical water found in the North Atlantic.
In 1992, approximately 49 percent of those who used section 203Co) FHA loans (the principal type of FHA single-family loan program) were first-time homebuyers.
We're a principal type player, we do all service, and we do it well.
The principal type of risk transfer is through insurance which is generally the last risk-financing technique considered.

Full browser ?