Concept
Environment
Books
Journey Statuslearning
INFO
(Lambda calculus, Semantics) A finite map from variables to values, used to track substitutions during evaluation.
- Written as:
\{x ↦ 5, y ↦ 3\}or[x := 5, y := 3]. - Extended when entering a function body:
env[x ↦ v]. - Consulted when evaluating a variable:
env(x).