方案延续: What's the difference between call 'call/cc' in top level and non-top level?

Question

此代码按预期工作:

(define saved #f)
(cons 'wo (call/cc (lambda (k) (set! saved k) '())))
(saved 'ca!)

输出( Racket 控制台):

'(wo)
'(wo . ca!)

但是当我将它包装在函数中并调用它时，程序永远不会停止。为什么？

(define (test)
    (define saved #f)
    (cons 'wo (call/cc (lambda (k) (set! saved k) '())))
    (saved 'ca!))

(test)

Answer 1

延续是在保存它的执行上下文中剩下要做的所有事情。

在第一种情况下，调用 cons 时会保存延续，因此只需 cons 'wo to some 并返回到 REPL。

在第二种情况下，您调用过程test，因此延续是both

1. 反对某事
2. 使用 'ca! 调用绑定(bind)到 saved 的过程(即延续)!

因此延续调用自身，因此循环。