方案 - 转换为连续传递样式

Question

我有点了解如何将基本函数(例如算术)转换为Scheme中的连续传递样式。 但如果函数涉及递归怎么办？例如，

(define funname 
     (lambda (arg0 arg1)
                (and (some procedure)
                      (funname (- arg0 1) arg1))))

请给我建议。预先感谢您。

Answer 1

Krishnamurthi 的 PLAI 对延续和 CPS 有很好的解释。书。相关部分(VII)不依赖于本书的其他部分，因此您可以直接跳到那里。具体有一个手动将代码转换为 CPS 以及处理递归函数的扩展示例(第 17 章的第一部分)。

另外，我写了一个extended version我的课上的那篇课文，其中有更多关于该主题的示例和更多细节——您可能会发现这也很有用。除了 PLAI 文本之外，我还介绍了延续的一些常见用法，例如实现生成器、二义运算符等等。 (但请注意，PLAI 继续讨论实现策略，我的文本并未涵盖这一点。)