Motivation

bisher: closure conversion + lifting:

beliebiges Programm (Lambda-Ausdruck) ⇒ Programm mit nur globalen Funktionen (und Tupeln)

man kann sogar jeden Lambda-Ausdruck in äquivalentes Programm mit wenigen und feststehenden globalen Funktionen (Kombinatoren) übersetzen.