如何使用 Lodash 流组合不同数量的函数？

Question

我想做一些函数组合。我已经知道了：

如果f3(x) 应与f1(f2(x)) 相同 然后f3 = _.flowRight(f1,f2);

如果f3(x,y) 应与f1(x, f2(y)) 相同 那么……？

（用例是node.js/express中间件函数的组合。）

Answer 1

在下图中，我使用{_} 作为值的占位符。把它想象成代码中的一个洞，我们在其中传递一些东西。

好吧，让我们想象一下你的函数必须做什么......

• 这看起来像是通用转换吗？即，您认为我们可以在很多地方使用它吗？ – 函数式编程促进构建高度可重用且可以以各种方式组合的函数。
• f1 和f2 有什么区别？ f1 是一元函数，只能得到一个 arg，f2 是一个二元函数，只能得到两个。你会记住哪个去哪个地方吗？
• 是什么决定了f1(x) 在f2 中的位置？
  • 比较f2(y,f1(x)) ...
  • 到f2(f1(x),y)
  • 其中一个比另一个更有用吗？
  • 你会记住f1 获得的位置吗？

---

回想一下，函数组合应该能够将任意数量的函数链接在一起。为了帮助您了解someFunc 的无用性，让我们假设它最多接受 3 个函数和 3 个参数。

• 这里甚至有模式吗？也许吧，但你仍然有尴尬的一元函数f1，它只得到一个 arg，而 f2 和 f3 各得到 2 个
• f2 和f3 是否真的需要右侧前面函数调用的值总是？
  • 比较f3(z,f2(y,f1(x)))
  • 到f3(f2(y,f1(x)),z)
  • 也许f3 需要向左连接，但f2 从右侧连接？
  • 我无法想象你的整个二进制函数 API 会神奇地需要在同一个地方链接参数
• 您已经在合成中混合了一元函数和二元函数；那为什么还要武断地把它限制在那些类型的函数上呢？具有 3 个或更多参数的函数呢？

---

答案是自我实现

函数组合在这里被滥用。函数组合几乎只在你组合一元函数时才有效（每个函数接受 1 个参数）。当与更高元的函数混合时，它会立即崩溃并且无法泛化。

现在回到你的代码，如果f3需要一个名字，它是f1、f2和两个参数的组合，它应该简单地表示为……

const f3 = (x,y) => f1(x, f2(y))

因为它做出了如此多的任意选择，它不能以任何有用的方式概括。就这样吧。

---

“那么有什么方法可以组合不同数量的函数吗？”

当然，有几种实用的技术。我将在此处演示高度实用的partial 函数的使用

const partial = (f,...xs) => (...ys) => f(...xs, ...ys)

const add = (x,y) => x + y

const mult = (x,y) => x * y

const sq = x => mult (x,x)

// R.I.P. lodash.flowRight
const compose = ([f,...fs]) => x =>
  f === undefined ? x : f (compose (fs) (x))
                  
let f = compose([partial(add, 1), sq, partial(mult, 3)])

console.log(f(2))
// add(1, square(mult(3, 2)))
// add(1, square(6))
// add(1, 36)
// => 37

哦，顺便说一句，我们用一行代码替换了 Lodash 的 flowRight（复杂 flow 的包装器）。

Answer 2

听起来您有一个非常具体的要求，可能没有 lodash 等效项。

为什么不为此编写自己的辅助函数？

function composeFuncs(f1, f2) {
  return function(x, y) {
    return f1.call(this, x, f2.call(this, y));
  };
}

var myObj = {
  add: function(val1, val2) {
    return this.myVal + val1 + val2
  },
  mult: function(val) {
    return this.myVal * val
  },
  myVal: 7
};

myObj.newFunc = composeFuncs(myObj.add, myObj.mult);

// 7 + 1 + 7 * 2 = 22
console.log(myObj.newFunc(1, 2));

编辑：已更新为处理 this 的方式与 _.flowRight 的处理方式相同。