Bêta-évaluateur de style direct d'ordre normal avec règles de syntaxe et applications répétées de call/cc
Cet article explore des applications moins fréquentes de call/cc dans les macros Scheme hygiéniques, notamment son utilisation pour faciliter les calculs lambda fastidieux. L'auteur présente un bêta-normalisateur de style direct d'ordre normal combinant intelligemment les règles de syntaxe et les applications répétées de call/cc, prouvant sa correction via la transformation CPS et un ingénieux lambda-calculateur de style direct. L'article approfondit également les continuations délimitées, montrant comment des macros simples peuvent implémenter divers opérateurs de continuation délimitée, tels que prompt et control. Une implémentation de fonction factorielle basée sur call/cc et une discussion sur les continuations délimitées mettent en évidence l'élégance et l'aspect pratique de l'approche.
Lire plus