Compilation avec des Continuations : Rétrospective et Revue

Cette revue revient sur le livre d'Appel de 1992, "Compiling with Continuations". L'auteur explore l'explication détaillée du livre sur les techniques de compilation utilisant les continuations, couvrant des sujets tels que le langage MiniML, l'analyse lexicale, l'analyse syntaxique, le langage CPS, la conversion de clôtures, le débordement de registres et la machine virtuelle. Malgré l'absence d'exercices et le fait qu'il montre son âge sur certains points, le livre offre des informations précieuses sur Standard ML et le style de passage de continuation, en particulier pour ceux qui étudient la conception de compilateurs et la programmation fonctionnelle. Cependant, les ambiguïtés dans les détails d'implémentation et l'absence de discussion sur les technologies de compilation modernes rendent la lecture difficile.