Question

我遇到了这段代码on Wikipedia：

(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？ (* x x (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，然后将另一个函数指定为其最后一个参数。）

计划中的延续传递方式？

1 个答案: