Evaluador beta de estilo directo de orden normal con reglas de sintaxis y aplicaciones repetidas de call/cc
Este artículo explora aplicaciones menos frecuentes de call/cc en macros Scheme higiénicas, en particular su uso para ayudar en cálculos lambda tediosos. El autor presenta un beta-normalizador de estilo directo de orden normal que combina inteligentemente reglas de sintaxis y aplicaciones repetidas de call/cc, demostrando su corrección mediante la transformación CPS y un ingenioso lambda-calculador de estilo directo. El artículo también profundiza en las continuaciones delimitadas, mostrando cómo las macros simples pueden implementar varios operadores de continuación delimitada, como prompt y control. Una implementación de función factorial basada en call/cc y una discusión sobre las continuaciones delimitadas destacan la elegancia y la practicidad del enfoque.
Leer más