寻找人为的示例代码:continuations!

是的,连续剧可能会让人心烦意乱。这是我不久前发现的一个很好的谜题-试着找出打印的内容以及原因:

(define (mondo-bizarro)
  (let ((k (call/cc (lambda (c) c)))) ; A
    (write 1)
    (call/cc (lambda (c) (k c))) ; B 
    (write 2)
    (call/cc (lambda (c) (k c))) ; C
    (write 3)))

(mondo-bizarro)

解释其工作原理(包含扰流板!):

1. call/cc stores返回它自己的延续并将其存储在 k .
2. 1 被写入屏幕。
3. 将在点B继续的当前延续返回到k,k返回到A
5. 1. 再次写入屏幕
6. 将在点B继续的当前延续返回到k,这是到另一点B的另一个(但不同)延续
7. 一旦我们回到原来的延续,重要的是要注意,这里k仍然绑定到A
8. 号码 2 被写入屏幕
9. 将在点C继续的当前延续返回到k,k返回到A
10. 这一次,k现在是C的延拓
11. 号码 再次写入屏幕
13. 号码 3 被写入屏幕
14. And you're done

因此,正确的输出是 11213 . 我在粗体文本中指出的最常见的症结——需要注意的是,当使用continuations“重置”k值时,它不会影响原始continuation中k的值。一旦你知道它变得更容易理解。

布朗大学的编程语言课程有一个 problem set on continuations 公开提供。