使用 call/cc 进行循环。让 vs 开始

Question

以下两个代码块（在我看来）都应该是无限循环

这行得通

(define call/cc call-with-current-continuation)

(define l 0)
(define i 0)

((lambda ()
   (call/cc
    (lambda (k)
      (set! l k)))
   (write i)
   (newline)
   (set! i (+ i 1))
   (l "ignore")))

这不起作用：

(define call/cc call-with-current-continuation)

(define l 0)
(define i 0)

(begin
   (call/cc
    (lambda (k)
      (set! l k)))
   (write i)
   (newline)
   (set! i (+ i 1))
   (l "ignore"))

唯一的区别是一个使用 lambda 和一个使用 begin 块。 为什么第二段代码不起作用？

谢谢

Answer 1

在第二种情况下，begin 将其参数拼接到顶层。请注意，有two kinds of begin：如果它在表达式位置，它只是一个接一个地对操作进行排序。第二种（这就是你所拥有的）会将它的所有参数拼接到周围的上下文中。

拼接的call/cc 表达式的延续实际上是空延续，因为每个顶级表达式都是单独评估的（即，在空延续中）。您可以通过在begin 周围放置let 来检查这一点，这会强制它处于表达式位置。然后它会像你期望的那样无限循环。