scheme - 从 call/cc 返回延续

Question

Matt Might，在他在 continuations by example 上的帖子中, 定义辅助函数

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

获取并返回当前的延续。为什么要使用 (cc cc) 返回延续？为什么不使用 cc:

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

Might 的示例与任一版本的 current-continuation 的工作方式相同。这只是风格问题，还是有更深层次的问题在起作用？

Answer 1

所以，记住 CPS 中的 call/cc 是这样的:

(define (call/cc& f k)
  (f (lambda (v ignored-cont) (k v)) k))

所以第一个这样做:

(define (current-continuation k1)
  (call/cc& (lambda (cc k2) (cc cc k2)) k1))

第二个这样做:

(define (current-continuation k1)
  (call/cc& (lambda (cc k2) (k2 cc)) k1))

由于 call/cc 会将 k1 作为 k2 传递，而 cc 将使用 k1 两者最终都会执行 (k1 cc)。因此两者之间没有区别。