closure passing style

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

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

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

Closure-Konstruktion?
Komplette Übersetzung des Beispiels?