在Scheme中，'or'和'and'会短路吗？

Question

Scheme 中 and 和 or 是否短路？

以下是lat?（原子列表）的两个实现。一个使用cond ... else，另一个使用or 和and。我想知道它们是否等效，而答案取决于 or 和 and 在 Scheme 中是否有短路评估。

(define lat?
  (lambda (l)
    (cond
         ((null? l) #t)
         ((atom? (car l)) (lat? (cdr l)))
         (else #f))))

• 使用cond 和else

---

(define lat?
  (lambda (l)
    (or (null? l)
        (and (atom? (car l))
             (lat? (cdr l))))))

• 使用or 和and

我认为or 短路了。为什么？我知道(car ()) 和(cdr ()) 各自生产Error: Attempt to apply…。如果or 没有短路，那么(lat? ()) 最终将评估(car ()) 并产生错误。但是，(lat? ()) 不会产生错误，因此（通过 Modus Tollens）or 短路。它是否正确？ and 短路了吗？

Answer 1

是的，它们都根据r6rs specification 短路（没有在网上找到 r7rs 的 html 版本，但这里是r7rs specification 的 pdf 版本的链接，请参阅第 4.2 节）：

如果没有<test>s，则返回#t。否则，从左到右计算表达式，直到 <test> 返回 #f 或到达最后一个 <test>。在前一种情况下，and 表达式返回 #f 而不计算剩余的表达式。在后一种情况下，计算最后一个表达式并返回其值。

and & or 随后被定义为test。