用语法规则和call/cc重复应用实现正规序直接风格beta求值器
2025-09-17
这篇论文探讨了call/cc在Scheme宏中的不常见应用，特别是将其用于辅助繁琐的lambda计算。作者介绍了一种正规序直接风格beta归约器，它巧妙地结合了语法规则和call/cc的重复应用，并通过CPS变换和一个巧妙的直接风格lambda计算器来证明其正确性。论文还探讨了分界延续的概念，并展示了如何使用简单的宏来实现各种分界延续操作符，例如prompt和control。最终，作者通过一个基于call/cc的阶乘函数实现，以及对分界延续的讨论，突出了该方法的优雅性和实用性。
开发
call/cc