Nonparametric skew

In type theory a typing environment (or variable assignment) represents the association between variables names and data types. More formally an environment $\mathrm{\Gamma }$ is a set or ordered list of pairs $⟨x,\tau ⟩$, usually written as $x:\tau$, were $x$ is a variable and $\tau$ its type.

In statically typed programming languages these environments are used and maintained by type rules to type check a given program or expression.

See also

• Type system
• Type rule
• Type theory