方案繼續：頂層的“ call / cc”呼叫與非頂層的“ call / cc”呼叫有什么區別？

Question

此代碼按預期工作：

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

輸出（球拍控制台）：

'(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 whats並返回REPL。

在第二種情況下，調用程序test ，所以延續既是

1. 不利於某事
2. 用“ ca”調用綁定到已saved （即繼續）的過程！

因此，延續會自我調用，從而產生循環。