Umgebungen (Implementierung)

Umgebung ist (partielle) Funktion von Name nach Wert

Realisierungen: type Env = String -> Int

Operationen:

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

  Notation: e(x)

• extend :: Env -> String -> Int -> Env

  Notation: e[x/v]

Spezifikation:

• e[x/v](x) = v,      x≠y⇒e[x/v](y) = e(y)