如何将 let 表达式转换为 CPS

Question

我想知道如何将 let 表达式转换为延续传递样式，如下所示：

(let ([a (lambda (x) (+ 1 x))]) (a 4))

请给我看一些例子。谢谢。

Answer 1

首先，请注意，let被宏扩展为以下内容：

((lambda (a)
   (a 4))
 (lambda (x)
   (+ 1 x)))

所以，现在，让我们对上述内容进行CPS转换，我们得到：

((lambda (a k)
   (a 4 k))
 (lambda (x k)
   (+ 1 x k))
 k)

其中最后一行的k是原始let使用的延续。

如果所有这些k看起来太混乱，下面是相同的代码：

((lambda (a k1)
   (a 4 k1))
 (lambda (x k2)
   (+ 1 x k2))
 k0)

其中k0是原始延续。

在这两种情况下，我假设+也进行了类似的 CPS 转换，以延续将加法的结果传递给......