Immutable.js 数据结构的自定义相等语义

Question

我希望Sanctuary 提供Fantasy Land - 兼容的 Map 和 Set 类型以及基于值的相等语义。理想情况下，这些值是不可变的，尽管这并不重要，因为 Sanctuary 会提供纯函数来合并和以其他方式操作这些值。

我很想利用Immutable.js 团队所做的出色工作；我想实现持久数据结构需要付出相当大的努力！

Immutable.js 提供的 API 并不重要，因为 Sanctuary 会公开与这些值交互的函数。但是，这些类型的相等语义至关重要。

这对我的用例来说是不可接受的：

> Map([[[1, 2, 3], 'foo'], [[1, 2, 3], 'bar']])
Map { [1,2,3]: "foo", [1,2,3]: "bar" }

[1, 2, 3] 与[1, 2, 3] 的值相同。应该不可能有两个具有相同键的映射条目。

-0的处理也有问题：

> Immutable.is(Map([[0, 0]]), Map([[-0, -0]]))
true

我意识到可以通过定义 equals 方法来定义自己类型的相等语义，但我希望重新定义原生类型（例如 Array 和 Number）的相等语义。 这可能吗？相关文件似乎是is.js，但我没有看到自定义挂钩。

Sanctuary 的 Map 类型可能会包装 Immutable.js 的 Map 类型。这将提供：

• 一种处理-0的方法；
• 在执行assoc 操作之前执行基于值的相等检查的机会，这通常会导致重复键；和
• 一个定义各种fantasy-land/ 方法的地方。

也许：

Map k v = { negativeZero :: Maybe v
          , value :: ImmutableMap k v
          , fantasy-land/equals :: Map k v ~> Map k v -> Boolean
          , fantasy-land/map :: Map k v ~> (k -> a) -> Map a v
          , fantasy-land/bimap :: Map k v ~> (k -> a, v -> b) -> Map a b
          , ...
          }

我想确保在创建上述包装器之前没有其他方法可以实现所需的相等语义。 facebook/immutable-js#519 没有希望。

Answer 1

虽然很久以前有人问过这个问题，但我没有看到对这个简单解决方案的引用：

const {Map, fromJS} = Immutable

// instead of this:
console.log(
  Map([[[1, 2, 3], 'foo'], [[1, 2, 3], 'bar']]).toString(),
)

// do this:
console.log(
  Map(fromJS([[[1, 2, 3], 'foo'], [[1, 2, 3], 'bar']])).toString()
)

<script src="https://cdnjs.cloudflare.com/ajax/libs/immutable/4.0.0-rc.12/immutable.min.js"></script>

通过使用fromJS 深度转换对象，您可以获得值相等