计划中的延续传递方式?

我在维基百科上遇到了这段代码:
(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 ...))
    
已邀请:
在维基百科的例子中,
*
与传统例子中的
*
并不相同。 我会将维基百科的例子重写为:
(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
,然后调用指定为其最后一个参数的另一个函数)。     

要回复问题请先登录注册