Scheme 两个空列表保证为'；eq？&x27；吵闹？

球拍中的

（eq？“（）”）

是否保证真实

如果没有弄错的话，两个空列表在R7RS中保证是

eq？

，但我想知道Racket是否也提供了这样的保证

---

我读了这本书，但找不到答案。

是的。

eq？

的行为或多或少遵循Scheme的

eq？

不过，

eq？

上的文档可能更清晰。清单上的文件说明如下：

列表是递归定义的：要么是常量null，要么是第二个值为列表的对

---

因此，空列表是一个常量，这意味着它是唯一的。

我不认为它是明确指定的，但at的示例表明它保证是

eq？

。第一个方案（r）是Interlisp下的interprenter，并从那里借用了原语

'（）

是主机

nil

，它也是。它一直是

eq？