Typing environment

In type theory a typing environment represents the association between variables names and data types. More formally an environment $\Gamma$ is a set of pairs $(v,\tau )$ were $v$ is a variable name and $\tau$ its type.

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

See also

• Type system
• Type rule
• Type theory