假设我有以下Scheme（R6RS）代码：
(define-record-type typeA
(fields
(mutable A)))
我创建了两条记录：
(define X (make-typeA 123))
(define Y (make-typeA 123))
我无法理解为什么(equal? X Y)和(equal? (make-typeA 123) (make-typeA 123))会返回#f。
我读过R6RS标准（section 11.5），但我真的不明白。
答案 0 :(得分：4)
来自R6RS：
平等？谓词将对和向量视为具有出局边的节点，使用string =？比较字符串，使用bytevector =？比较bytevectors（参见“Bytevectors”的库章节），并使用eqv？比较其他节点。
换句话说，您使用equal?实际上只是做与eqv?相同的事情，因为这是为记录指定的方式（参见上面的最后一行）。
第6.1章有关于eqv?记录的说法：
如果obj1和obj2都是相同记录类型的记录，并且是对记录构造函数的两次单独调用的结果，那么eqv？返回#f。
在您的代码中，这两个记录是对构造函数的两次单独调用的结果。因此，它们不能是eqv?。
Scheme的某些方言可能允许您在记录上使用结构相等。例如，在Racket中，您可以将记录声明为#:transparent以获得结构相等性。我不确定您是否可以在标准Scheme中获得此行为。
答案 1 :(得分：1)
我对R6RS并不是很熟悉，但快速谷歌搜索表明
这里的关键是mutability：
如果obj1和obj2都是相同记录类型的记录，并且是 对记录构造函数进行两次单独调用的结果，然后是eqv？ 返回#f。