为什么此发电机实现在球拍中不起作用？

Question

我正在尝试使用 call/cc 在球拍中实现发电机，如果我在repl中使用它，我已经有了

(define (foo2)
  (define (g abort)
    (define-syntax-rule
      (yield x)
      (call/cc (lambda (k)
                 (set! g k)
                 (abort x))))
    (yield 'foo)
    (yield 'bar)
    (yield 'tar)
    (abort 'end))
  (thunk (call/cc g)))

代码

foo.rkt> (define g (foo2))
foo.rkt> (g)
'foo
foo.rkt> (g)
'bar
foo.rkt> (g)
'tar
foo.rkt> (g)
'end
foo.rkt> (g)
'end
foo.rkt> 

此 列表，它挂起，我不知道发生了什么事

foo.rkt> (define g (foo2))
foo.rkt> (list (g) (g) (g))
;; prompt is not released

？我的发电机实施是错误的？

Answer 1

什么是（列表（g）（g）（g））？好吧，基本上是在CPS中：

(g& (lambda (g1) ; continuation g1 
     (g& (lambda (g2)
          (g& (lambda (g3)
               (list& g1 g2 g3 halt))))

您要替换 g＆amp; ，但是你们所有人 yarts 共享相同的初始中止 continuation > g1 ，您将永远无法连续 g2 ，因为每次中止被称为您运行持续 g1 。如果您逐步完成，您会注意到此延续将得到所有收益率值，但最终将调用中止。即使您删除了最后一个通话，它也会始终在表达式中拨打第二个（g）。

它有助于知道呼叫/CC＆amp; 是：

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

现在，CPS中的 g 看起来像这样。请注意，中止是其中的免费变量，即使您替换 g＆amp;

(define (g& abort cont)
  (call/cc& (lambda (k cc)
              (set!& g& 
                     k 
                     (lambda (undefined) 
                       (abort 'foo cc))))
            (lambda (ignored1)
              (call/cc& (lambda (k cc)
                          (set!& g& 
                                 k 
                                 (lambda (undefined) 
                                   (abort 'bar cc))))
                        (lambda (ignored2)
                          (call/cc& (lambda (k cc)
                                      (set!& g& 
                                             k 
                                             (lambda (undefined) 
                                               (abort 'tar cc))))
                                    (lambda (ignored3)
                                      (abort 'end cont)))))))))

作为修复程序，它们也将是相同的，我想您需要将设置为>的设置。 G 。例如。而不是
（set！gk）也许是这样的：

(set! g (lambda (new-abort)
          (set! abort new-abort)
          (k 'ignored)))

然后列表表达式按预期工作。为什么它在repl中工作的原因是继续提示。