将多个对象与Sanctuary.js合并

Question

我正试图将多个对象与庇护所合并。

在使用Ramda.js时，我会这样做(请参阅REPL 这里)：

const R = require('ramda');
const initialEntry = { a: 0, b: 1 };
const entries = [{c: 2}, {d: 3, e: 4}, {f: 5, g: 6, h: 7}];
R.reduce(Object.assign, initialEntry, entries);

但是，使用Santuary.js，下面的代码行会引发异常。

S.reduce(Object.assign)(initialEntry)(entries)

以下是我得到的例外：

! Invalid value

reduce :: Foldable f => (a -> b -> a) -> a -> f b -> a
                              ^^^^^^
                                1

1)  {"a": 0, "b": 1} :: Object, StrMap Number, StrMap FiniteNumber, StrMap Integer, StrMap NonNegativeInteger, StrMap ValidNumber

The value at position 1 is not a member of ‘b -> a’.

我对这条错误信息感到困惑。我是不是不正确地使用S.reduce？此外，如果我编写S.reduce(Object.assign)(initialEntry)([])，也不会有任何错误。

Answer 1

这是因为reduce的第一个参数接受一个带有签名a -> b -> a的函数。与兰达不同的是，庇护所对这样的签名是严格的。您必须提供一个函数，该函数接受一种类型的参数，并返回一个接受第二种类型的参数并返回第一种类型的参数的函数。Object assign不会这么做的。它需要一个可变数量的对象在一次运行。

您可以通过将Object.assign替换为a => b => Object.assign(a, b)来修复此问题。

​

const initialEntry = { a: 0, b: 1 };
const entries = [{c: 2}, {d: 3, e: 4}, {f: 5, g: 6, h: 7}];

const res = S.reduce(a => b => Object.assign(a, b)) (initialEntry) (entries);

console.log(res);

<script src="https://bundle.run/sanctuary@1.0.0"></script>
<script>const S = sanctuary</script>

​

Ramda版本之所以工作，是因为它需要一个二进制函数来实现reduce。虽然Object.assign在技术上是可变的，但是如果您把它当作二进制函数来处理，一切都会很好。

Answer 2

S.concat可以专门用于StrMap a -> StrMap a -> StrMap a。因此，(S.concat) ({})的类型是Foldable f => f (StrMap a) -> StrMap a。这可以专门用于Array (StrMap a) -> StrMap a。例如：

> S.reduce (S.concat) ({}) ([{a: 0, b: 1}, {c: 2}, {d: 3, e: 4}, {f: 5, g: 6, h: 7}])
{a: 0, b: 1, c: 2, d: 3, e: 4, f: 5, g: 6, h: 7}

圣所不提供合并任意对象的功能。