经验丰富的 Schemer 的 get-first、get-next 和 waddle 函数

Question

(define get-first
  (lambda (l)
    (call-with-current-continuation
      (lambda (here)
        (set! leave here)
        (waddle l)
        (leave (quote ()))))))

(define get-first
  (lambda (l)
    (call-with-current-continuation
      (lambda (here)
        (set! leave here)
        (leave (waddle l))))))

对于不熟悉“经验丰富的计划者”一书的任何人，get-first、get-next 和 waddle（最后两个此处未定义）显然是对 协程 进行迭代的过程通过传递给waddle 的树，它只产生叶子。就在waddle 的倒数第二个重新进入的收益率之前，它将重新进入点设置为它只会返回纯值'() 即而不是收益率'()，waddle 的em>实际值 是 '() ，就好像它一直是一个纯函数一样。

考虑到这一点，我们可以看到get-first 设置了什么...当waddle 返回“真实”时，它将在get-first 中的call/cc 内，然后(leave (quote ())) 是值的get-first（反过来，这个leave 打算在最后一次迭代中返回到get-next，因此是get-next 执行'() 的“实际”返回）。

那么为什么第二个版本不等效，waddle 的值 '() 将是 leave 的参数？

Answer 1

混淆是因为“leave”不是我想要的函数，而是它评估为 when 评估的函数，它似乎是从左到右的，因此在“waddle”之前。这意味着它在之前的语句中评估它刚刚设置的值。

道德：在使用函数时要小心在对函数的调用中重新定义！如果这是在从右到左的解释器上，waddle 将在符号 leave 被查找为“离开”到任何地方的函数之前被评估，在此期间它将被设置为不同的函数。