两个空列表是否保证为“eq”？在球拍？

Question

(eq? '() '())保证在球拍中是真实的吗？

如果没有弄错，两个空列表保证是eq? in R7RS，但我想知道Racket是否也提供了这样的保证。

我读过文档，但找不到答案。

Answer 1

是。eq?的行为或多或少遵循了方案中的eq?。

不过，关于eq?的文档可能更清晰。清单上的文件如下：

列表是递归定义的:它要么是常量null，要么是第二个值为list的一对。

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