scheme - 继续计划

Question

我想我明白了延续是什么(一般来说)，但我不明白它在Scheme中是如何使用的。

考虑这个例子(来自维基百科call/cc)

(define (f return)
  (return 2)
  3)
(display (call/cc f)) ;=> 2

我不明白为什么:

• 延续是隐式的？对吧？

• 本例中的延续性如何？

Answer 1

延续是仍待执行的“其余计算”。在您的特定示例中，您可以将其视为 (display [])，其中 [] 是要用值填充的孔。也就是说，在调用 call/cc 时，剩下要做的就是调用 display。

call/cc 的作用是获取这个延续并将其放入一个可以像函数一样应用的特殊值中。它将这个值传递给它的参数(这里是f)。在 f 中，延续绑定(bind)到 return。因此 (return 2) 基本上会将 2 插入到延续中，即 (display 2)。

我认为这个例子实际上并不是很有帮助，所以我认为你应该阅读PLAI如果您有兴趣了解有关延续的更多信息(请参阅第七部分)。另一个好的来源是 these lecture notes作者:丹·弗里德曼。