Definition

(alles nach: Turbak/Gifford Ch. 17.9)

CPS-Transformation (continuation passing style):

• original: Funktion gibt Wert zurück

  f == (abs (x y) (let ( ... ) v))
  

• cps: Funktion erhält zusätzliches Argument, das ist eine Fortsetzung (continuation), die den Wert verarbeitet:

  f-cps == (abs (x y k) (let ( ... ) (k v))
  

aus g (f 3 2) wird f-cps 3 2 g-cps