Skip to content
scrambled
Programming Language Theory Concept

Environment

Books JourneyProgramming Language Theory 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).