计划中的延续式风格？

Question

我遇到了这个代码在wikipedia ：

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

.

文章说，该代码是另一段代码的继续传递版本：

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

.

然而，我很困惑：这甚至是如何工作的？你如何在这里乘以兰布的数字？(* x x (lambda ...))

Answer 1

In the Wikipedia example, * doesn't mean the same thing as * in the conventional example.

I would rewrite the Wikipedia example as:

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

In this form, each of the cps-xxx functions perform the operation indicated and then pass the result to the last argument. You could call it like this:

(pyth 2 3 display)

which would multiply 2 and 3, giving 6, and then passing 6 to display. (Actually you would want to pass the result to a cps-display that displayed its initial argument(s) and then called another function specified as its last parameter).