Type Scheme

type-theory

Definition

Type Scheme

A type scheme is a type expression with explicit universal quantification over some type variables.

Examples

Hindley–Milner

In Hindley–Milner, type schemes have the form

$$\sigma ::=\forall {\alpha }_1\dots {\alpha }_n.\tau ,$$

where $\tau$ is a monotype.