Question

我被困在＆＃34;教授弗里斯比的咖喱例子中......＆＃34;当使用Sanctuary而不是Ramda时。我得到错误：＆＃34;'curry2'最多需要三个参数，但收到五个参数。＆＃34;与Ramda一起工作正常。我确信我做错了什么，但我无法弄清楚。

按照这本书的例子：

var match = curry2((what, str) => {return str.match(what);});
var hasSpaces = match(/\s+/g);
var filter = curry2((f, ary) => {return ary.filter(f);});
var f2 = filter(hasSpaces, ["tori_spelling", "tori amos"]);

我得到了

TypeError: Function applied to too many arguments
curry2 :: ((a, b) -> c) -> a -> b -> c
‘curry2’ expected at most three arguments but received five arguments.

Answer 1

Sanctuary比Ramda严格得多。它确保函数仅应用于正确数量的参数，并且参数属于预期类型。例如，S.add(42, true)是类型错误，而R.add(42, true)评估为43。

您的案例中的问题是Array#filter将给定函数应用于三个参数（element，index，array）。但是，hasSpaces只需要一个论点。

解决方案是使用S.filter而不是Array#filter：

const match = S.curry2((what, str) => str.match(what));
const hasSpaces = match(/\s+/g);
const f2 = S.filter(hasSpaces, ['tori_spelling', 'tori amos']);

进行此更改后，会显示另一个类型错误：

TypeError: Invalid value

filter :: (Applicative f, Foldable f, Monoid f) => (a -> Boolean) -> f a -> f a
                                                         ^^^^^^^
                                                            1

1)  null :: Null

The value at position 1 is not a member of ‘Boolean’.

See https://github.com/sanctuary-js/sanctuary-def/tree/v0.12.1#Boolean for information about the Boolean type.

S.filter期望谓词作为其第一个参数。严格地说，谓词是一个返回true或false的函数。但是，String#match会返回null或一系列匹配项。

解决方案是使用S.test而不是String#match：

const hasSpaces = S.test(/\s+/);
const f2 = S.filter(hasSpaces, ['tori_spelling', 'tori amos']);

此时hasSpaces的定义是如此清晰，以至于没有给它起一个名字的价值。我们可以将代码编写为单个表达式：

S.filter(S.test(/\s/), ['tori_spelling', 'tori amos'])

请注意，模式可以从/\s+/g简化为/\s/。使用g时S.test标志无效，+不是必需的，因为我们对带空格的字符串感兴趣但我们不感兴趣计算空间。

库里如何区分Sanctuary和Ramda？

1 个答案: