方案评估程序和特殊表格

Question

我对Scheme的评估有疑问，我只是想确保我对程序的评估方式有正确的理解。

所以当 Scheme 解释器开始评估一个列表时，第一个元素被评估，这必须评估为一个过程，否则它是一个错误。如果此过程不是特殊形式，则对列表的每个元素求值，然后作为参数传递到过程中。如果程序是特殊形式，则执行不同的评估过程，例如对于 if，评估第一个参数，然后仅评估两个和三个参数中的一个。此外，原子计算为它们自身或它们之前绑定(bind)的值。

基本上，是否需要特殊表格来阻止对所有内容进行评估？谢谢

Answer 1

是的，需要特殊的表格来处理您不希望对所有内容进行评估的特殊情况。 if 是一个很好的例子:

(if (both-keys-turned) (launch-nuclear-missiles))

如果评估了所有参数，这将在该评估步骤中发射导弹，而不是等待 if 来测试两个键是否都已转动。

或者考虑类似define的东西:

(define var value)

如果这评估了 var，它将无法分配给它。