Question

假设我有以下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），但我真的不明白。

Answer 1

来自R6RS：

平等？谓词将对和向量视为具有出局边的节点，使用string =？比较字符串，使用bytevector =？比较bytevectors（参见“Bytevectors”的库章节），并使用eqv？比较其他节点。

换句话说，您使用equal?实际上只是做与eqv?相同的事情，因为这是为记录指定的方式（参见上面的最后一行）。

第6.1章有关于eqv?记录的说法：

如果obj1和obj2都是相同记录类型的记录，并且是对记录构造函数的两次单独调用的结果，那么eqv？返回#f。

在您的代码中，这两个记录是对构造函数的两次单独调用的结果。因此，它们不能是eqv?。

Scheme的某些方言可能允许您在记录上使用结构相等。例如，在Racket中，您可以将记录声明为#:transparent以获得结构相等性。我不确定您是否可以在标准Scheme中获得此行为。

Answer 2

我对R6RS并不是很熟悉，但快速谷歌搜索表明

这里的关键是mutability：

如果obj1和obj2都是相同记录类型的记录，并且是对记录构造函数进行两次单独调用的结果，然后是eqv？返回#f。