Contents Help Random

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.

---

---

---

Tweet