Typing environment

In type theory a typing environment (or variable assignment) represents the association between variables names and data types. More formally an environment \Gamma is a set or ordered list of pairs \langle x,\tau \rangle, usually written as x:\tau, where 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


This article is issued from Wikipedia - version of the 5/19/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.