Motivation

(Literatur: DCPL 17.10) -- Beispiel:

let { linear = \ a -> \ x -> a * x + 1 
    ; f = linear 2 ; g = linear 3
    } 
in  f 4 * g 5

beachte nicht lokale Variablen: (\ x -> .. a .. )

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