closure passing style

• Umgebung = Tupel der Werte der benötigten nicht lokalen Variablen
• Closure = Paar aus Code und Umgebung

  realisiert als (Code, Wert₁, ..., Wert_n)

(abs (x) (@+ (@* a x) b))
==>
(abs (clo x) 
  (let ((a (@get 2 clo))
        (b (@get 3 clo)))
    (@+ (@* a x) b) ))

Closure-Konstruktion?
Komplette Übersetzung des Beispiels?