为什么集合联合和朋友不将可变集合作为参数？

Question

我尝试过(set-union (mutable-set) (mutable-set))，但它返回了一个错误。

Answer 1

这里的合同并不精确，但它指出了at the beginning of the documentation：

所有散列集都实现了set->stream、set-empty？、set-member？、set-count、subset？、proper subset？、set-map、set-for-each、set-copy、set-copy-clear、set->list和set-first。set-> set->list，set->list，-first，set->list，set-

• ，set->list，set-first。
• 不可变散列集此外还实现了集合相加、集合移除、集合清除、集合并集、集合相交、集合相减和集合对称差。set-
• 可变散列集此外还实现了set-add！、set-remove！、set-clear！、set-
• ！、set-intersect！、set-subtract！和set-symmetric-difference!.

然而，我确实认为文档可以改进。

如果你想看看集合的实现，here的where可变集合不允许使用set-union。

但是，请注意，将(mutable-set)放在非第一位置是很好的(文档中明确记录了这一点)。例如，这是可行的：

> (set-union (set) (mutable-set 1 2 3) (mutable-set 4 5 6))
(set 1 5 3 2 6 4)