closure passing style

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

  realisiert als Tupel (Code, $\underbrace{{W_1, \dots, W_n}}_{\text}^{}$Umgebung)

\ x -> a * x + 1
==>
\ clo x -> 
  let { a = nth clo 1 } in a * x + 1

Closure-Konstruktion?
Komplette Übersetzung des Beispiels?