方案中的延续传递风格？

Question

我在维基百科上遇到了这段代码：

(define (pyth x y k)
    (* x x (lambda (x2)
        (* y y (lambda (y2)
            (+ x2 y2 (lambda (x2py2)
                (sqrt x2py2 k))))))))

文章说该代码是另一段代码的 Continuation-Passing 版本代码：

(define (pyth x y)
    (sqrt (+ (* x x) (* y y))))

但是，我很困惑：这是如何工作的？这里如何将数字乘以 lambda？ (* xx (lambda ...))

Answer 1

在维基百科示例中，* 与传统示例中的 * 含义不同。

我将把维基百科的例子重写为：

(define (pyth x y k)
    (cps-* x x (lambda (x2)
        (cps-* y y (lambda (y2)
            (cps-+ x2 y2 (lambda (x2py2)
                (cps-sqrt x2py2 k))))))))

在这种形式中，每个 cps-xxx 函数执行指示的操作，然后将结果传递给最后一个参数。您可以这样称呼它：

(pyth 2 3 display)

将 2 和 3 相乘，得到 6，然后将 6 传递给 display。 （实际上，您希望将结果传递给 cps-display 来显示其初始参数，然后调用指定为最后一个参数的另一个函数）。