Normal-Order Direct-Style Beta-Evaluator mit Syntaxregeln und wiederholten Anwendungen von call/cc
Dieser Artikel untersucht weniger bekannte Anwendungen von call/cc in hygienischen Scheme-Makros, insbesondere seine Verwendung zur Unterstützung mühsamer Lambda-Berechnungen. Der Autor präsentiert einen Normal-Order Direct-Style Beta-Normalisierer, der Syntaxregeln und wiederholte Anwendungen von call/cc geschickt kombiniert und seine Korrektheit mittels CPS-Transformation und eines genialen Direct-Style Lambda-Calculators beweist. Der Artikel befasst sich auch mit delimitated continuations und zeigt, wie einfache Makros verschiedene delimited continuation Operatoren wie prompt und control implementieren können. Eine call/cc-basierte Implementierung einer Fakultätsfunktion und eine Diskussion über delimited continuations unterstreichen die Eleganz und Praktikabilität des Ansatzes.
Mehr lesen