Ramda - 带有咖喱谓词的 R.both

Question

我的目标是链接两个在 R.both 中采用相同两个参数的谓词，以便我可以独立传递参数 - 即 curried。

这是我整理的 repl 实现：

const isXEqual = (obj1, obj2) => R.equals(obj1.x, obj2.x);
const isYEqual = (obj1, obj2) => R.equals(obj1.y, obj2.y);

const a = R.curry(isXEqual);
const b = R.curry(isYEqual);

const isBoth_Curried = R.both(a, b);

const obj1 =  {"x": 6, "y": 5};
const obj2 =  {"x": 6, "y": 5};
const obj3 =  {"x": 5, "y": 5};

isBoth_Curried(obj1, obj2); //==> true
isBoth_Curried(obj1, obj3); //==> false

isBoth_Curried(obj1)(obj2); //==> true

但是： isBoth_Curried(obj1)(obj3); //==> true

真的很困惑 - 我在这里错过了什么？

Answer 1

我认为 Ramda 的 both 与图书馆的大部分内容略有不同步（免责声明：我是 Ramda 的作者之一。）both 的结果可能应该被咖喱到它的论点的最大长度，就像它的密切附属机构allPass一样。所以这应该会按您预期的方式工作。

但是，正如您所建议的，我认为您缺少一些基本的东西。内部函数被柯里化并不重要。它们只会被调用一次，带有所有参数：

R.both(a, b)(obj1)(obj3)                 //~> [1]

(function () {
  return a.apply(this, arguments) && a.apply(this, arguments);
})(obj1)(obj3)                           //~> [2]

(isXEqual(obj1) && isYEqual(obj1))(obj3) //~> [3]

(isYEqual(obj))(obj3)                    //~> [4]

R.equals(obj1.y, obj2.y)                 //~> [5]

R.equals(5, 5)                           //=> [6]

true

最有可能绊倒你的步骤是 [3]，(isXEqual(obj1) && isYEqual(obj1))(obj3) ~> (isYEqual(obj))(obj3)。关键是isXEqual(obj1) 是一个函数，因为你的currying，就像isYEqual(obj1) 一样。这两个都是真的，所以&& 返回第二个。

这应该可以解释发生了什么。

我确实认为 Ramda 的 both 函数应该更新。但是，正如其他人所建议的那样，您可以通过对both 的结果进行柯里化来完成这项工作。

---

还有一点：isXEqual/isYEqual 可以用 Ramda 的eqProps 写得更简单：

const isXEqual = R.eqProps('x')
const isYEqual = R.eqProps('y')

Answer 2

我认为默认情况下 R.both 不是咖喱。如果您这样做R.curryN(2, R.both(a, b))，那么它会按预期工作。查看此REPL 以查看示例。

Answer 3

根据 Ramda 的来源both

var both = _curry2(function both(f, g) {
  return _isFunction(f) ?
    function _both() {
      return f.apply(this, arguments) && g.apply(this, arguments);
    } :
    lift(and)(f, g);
});

如果第一个参数是函数，则不会返回柯里化函数。