Kompilieren mit Continuations: Ein Rückblick und eine Rezension

Dieser Bericht befasst sich erneut mit Appels Buch "Compiling with Continuations" aus dem Jahr 1992. Der Autor geht detailliert auf die im Buch beschriebenen Kompilierungstechniken unter Verwendung von Continuations ein, wobei Themen wie die MiniML-Sprache, lexikalische Analyse, syntaktische Analyse, die CPS-Sprache, Closure-Conversion, Registerüberläufe und die virtuelle Maschine behandelt werden. Obwohl das Buch keine Übungen enthält und in einigen Aspekten veraltet erscheint, bietet es wertvolle Einblicke in Standard ML und Continuation-Passing Style, insbesondere für diejenigen, die Compilerdesign und funktionale Programmierung studieren. Allerdings machen Unklarheiten in den Implementierungsdetails und das Fehlen einer Diskussion über moderne Compilertechnologien die Lektüre herausfordernd.