Typing environment
In type theory a typing environment (or typing context) represents the association between variable names and data types.
More formally an environment is a set or ordered list of pairs , usually written as , where is a variable and its type.
The judgement
- Γ ⊢ e: τ
is read as "e has type τ in context Γ".[1]
In statically typed programming languages these environments are used and maintained by type rules to type check a given program or expression. [2]
See also
References
- ↑
- ↑ "Simply Typed λ-calculus" (PDF).
This article is issued from
Wikipedia.
The text is licensed under Creative Commons - Attribution - Sharealike.
Additional terms may apply for the media files.