David Madore 的 Scheme 迷题解释

win_hate

原帖由 Tiger_cn 于 2008-9-10 00:34 发表
我放在DrScheme里运行了 结果是
O------------------------------------------------------------------------------------------------------------------------------------------------------------------- ...

Lazy 会尽量推迟求值，所以 (f (call/cc id)) 的求值次序是这样的：

f
(display "O")
(call/cc id)           ;; make continuation c0 here
...

所以通过 continuation 返回时，始终在 (display "O") 语句之后。O 仅会输出一次。