Clone wiki

inf225public / glossary / Environment

[Alphabetical Index | Tag Index]


A mapping of names to values or types. Used in evaluation and typechecking to carry name bindings. The environment is passed around (propagated) according to the scoping rules of the language, and may use a more complicated data structure to accomodate nested and/or named scopes.