在表达式(call/cc (lambda (k) (k 12)))
中,有三个延续:(k 12)
、(lambda (k) (k 12))
和(call/cc (lambda (k) (k 12)))
。哪一个是“当前的延续”?
在某些书籍中,延续被视为等待一个值的过程,当它应用于一个值时它会立即返回。是对的吗?
谁能详细解释当前的延续?
在表达式(call/cc (lambda (k) (k 12)))
中,有三个延续:(k 12)
、(lambda (k) (k 12))
和(call/cc (lambda (k) (k 12)))
。哪一个是“当前的延续”?
在某些书籍中,延续被视为等待一个值的过程,当它应用于一个值时它会立即返回。是对的吗?
谁能详细解释当前的延续?
诸如此类的事情(k 12)
不是延续。在一些较大的程序中,每个子表达式都有一个延续。例如,x
in的延续(* 3 (+ x 42))
是(lambda (_) (* 3 (+ _ 42)))
。
在您的示例中,“当前延续”(call/cc (lambda (k) (k 12)))
将是围绕该表达式的任何内容。如果您只是将其键入到方案提示符中,则它周围没有任何内容,因此“当前继续”只是(lambda (_) _)
. 如果您键入类似的内容(* 3 (+ (call/cc (lambda (k) (k 12))) 42))
,则继续是(lambda (_) (* 3 (+ _ 42)))
.
请注意,我用来表示“当前延续”的 lambda 与传入的(在您的示例call/cc
中命名)不同。具有特殊的控制效果,即在评估当前继续之后中止其余的计算。k
k
在这种情况下,延续是接收call/cc
调用返回值的“事物”。因此:
(display (call/cc (lambda (k) (k 12)))
有相同的结果
(display 12)
Scheme 中的延续“看起来和感觉”类似于过程,但它们实际上并不像过程。可以帮助您更好地理解延续的一件事是 CPS 转换。
在 CPS 转换中,不是函数返回值,而是接受一个延续参数,并使用结果调用延续。sqrt
因此,将调用CPS 转换的函数(sqrt 64 k)
,而不是返回 8,它只是(k 8)
在尾部位置调用。
因为延续(在 CPS 转换的函数中)是尾调用的,所以函数不必担心延续返回,事实上,在大多数情况下,它们不会返回。
考虑到这一点,下面是一个简单的函数示例:
(define (hypot x y)
(sqrt (+ (* x x) (* y y))))
及其 CPS 转换版本:
(define (hypot x y k)
(* x x (lambda (x2)
(* y y (lambda (y2)
(+ x2 y2 (lambda (sum)
(sqrt sum k))))))))
(假设*
、+
和sqrt
也都经过 CPS 转换,以接受延续论点)。
所以现在,有趣的部分:CPS 转换call/cc
具有以下定义:
(define (call/cc fn k)
(fn k k))
有了CPS变换,call/cc
简单易懂,易于实现。如果没有 CPS 转换,call/cc
可能需要非常神奇的实现(例如,通过堆栈复制等)。