Beta-avaliador de estilo direto de ordem normal com regras de sintaxe e aplicações repetidas de call/cc
2025-09-17
Este artigo explora aplicações menos frequentes de call/cc em macros Scheme higiênicas, particularmente seu uso para auxiliar cálculos lambda tediosos. O autor apresenta um beta-normalizador de estilo direto de ordem normal que combina inteligentemente regras de sintaxe e aplicações repetidas de call/cc, provando sua correção por meio de transformação CPS e um engenhoso lambda-calculador de estilo direto. O artigo também investiga continuações delimitadas, mostrando como macros simples podem implementar vários operadores de continuação delimitada, como prompt e control. Uma implementação de função fatorial baseada em call/cc e discussão de continuações delimitadas destacam a elegância e praticidade da abordagem.
Leia mais
Desenvolvimento