Motivation

(Literatur: DCPL 17.10) -- Beispiel:

(let ((linear 
        (abs(a b) (abs (x) (@+ (@* a x) b)))))
  (let ((f (linear 4 5)) (g (linear 6 7)))
    (@+ (f 8) (g 9)) ))

beachte nicht lokale Variablen: (abs (x) .. a .. b )

• Semantik-Definition (Interpreter) benutzt Umgebung
• Transformation (closure conversion, environment conversion) (im Compiler) macht Umgebungen explizit.