Umgebungen (Implementierung)

Umgebung ist (partielle) Funktion von Name nach Wert

Realisierungen: type Env = String -> Integer

Operationen:

• empty :: Env leere Umgebung
• lookup :: Env -> String -> Integer

  Notation: e(x) mathend000#

• extend :: Env -> String -> Integer -> Env

  Notation: e[v : = z] mathend000#

Beispiel

lookup (extend (extend empty "x" 3) "y" 4) "x"

entspricht (∅[x : = 3][y : = 4])x mathend000#