type scheme

A typing of an expression which may include type variables. E.g. 

 \ x . x :: a -> a
where a is a generic type variable which may be instantiated to any type.

Last updated: 1994-10-31

Nearby terms:

typeface ♦ type inference ♦ type scheme ♦ typo ♦ typographical error

Try this search on Wikipedia, Wiktionary, Google, OneLook.

Loading