Compiling with Continuations: A Retrospect and Review
2025-09-20
This review revisits Appel's 1992 book, "Compiling with Continuations." The author delves into the book's detailed explanation of compilation techniques using continuations, covering topics such as the MiniML language, lexing, parsing, the CPS language, closure conversion, register spilling, and the virtual machine. While lacking exercises and showing its age in some aspects, the book offers valuable insights into Standard ML and continuation-passing style, particularly for those studying compiler design and functional programming. However, ambiguities in implementation details and a lack of discussion on modern compiler technology make for a challenging read.
Read more
Development
continuations