组合是一个强大的工具：在 JavaScript 中用组合写出纯代码

函数组合是计算机科学中一种强大的工具，它可以用来创建可重用且易于维护的代码。在 JavaScript 中，我们可以使用函数组合来创建可组合的数据类型，以及用纯代码编写程序。

函数组合

函数组合是指将两个或多个函数组合成一个新函数的过程。新函数将执行第一个函数的结果作为第二个函数的输入，以此类推。例如，以下代码将两个函数 add 和 multiply 组合成了一个新函数 addAndMultiply:

function add(a, b) {
  return a + b;
}

function multiply(a, b) {
  return a * b;
}

function addAndMultiply(a, b, c) {
  return add(a, multiply(b, c));
}

console.log(addAndMultiply(1, 2, 3)); // 9

在新函数 addAndMultiply 中，我们首先调用函数 multiply 将 b 和 c 相乘，然后将结果作为函数 add 的第一个参数，第二个参数是 a。这样我们就得到了最终结果 9。

可组合的数据类型

函数组合不仅可以用来创建新函数，还可以用来创建可组合的数据类型。例如，以下代码定义了一个名为 Maybe 的数据类型，它可以表示一个值或者一个 null 值：

class Maybe {
  constructor(value) {
    this.value = value;
  }

  map(f) {
    return this.value ? new Maybe(f(this.value)) : Maybe.nothing();
  }

  static nothing() {
    return new Maybe(null);
  }
}

Maybe 数据类型有两个方法：map 和 nothing。map 方法接受一个函数 f 作为参数，并将该函数应用到 Maybe 实例的 value 属性上。如果 value 属性不为 null，则返回一个新的 Maybe 实例，其中 value 属性是 f(value) 的结果。否则，返回一个 Maybe.nothing() 实例，表示一个 null 值。

Maybe 数据类型是可组合的，这意味着我们可以使用函数组合来创建新的 Maybe 实例。例如，以下代码将两个 Maybe 实例组合成了一个新的 Maybe 实例：

const maybe1 = new Maybe(1);
const maybe2 = new Maybe(2);

const maybe3 = maybe1.map(add).map(multiply);

console.log(maybe3.value); // 9

在新实例 maybe3 中，我们首先调用 maybe1 的 map 方法将函数 add 应用到 maybe1 的 value 属性上，得到一个新的 Maybe 实例，其中 value 属性是 3。然后，我们调用 maybe3 的 map 方法将函数 multiply 应用到 maybe3 的 value 属性上，得到一个新的 Maybe 实例，其中 value 属性是 9。

纯代码

纯代码是指没有副作用的代码。副作用是指代码对程序状态的改变，例如，修改变量的值、向控制台输出信息等。纯代码更容易测试和维护，因为我们可以确定它不会对程序状态产生意外的影响。

函数组合可以用来编写纯代码，因为函数组合不会改变函数的参数或全局变量的值。例如，以下代码使用函数组合计算两个数字的和：

const add = (a, b) => a + b;

const sum = (a, b, c) => add(a, add(b, c));

console.log(sum(1, 2, 3)); // 6

在新函数 sum 中，我们首先调用函数 add 将 b 和 c 相加，然后将结果作为函数 add 的第一个参数，第二个参数是 a。这样我们就得到了最终结果 6。

因为函数 add 和 sum 都是纯函数，所以这段代码不会对程序状态产生任何副作用。我们可以放心地将这段代码用于任何需要计算两个数字之和的场合，而不用担心它会对程序的其他部分产生影响。

结论

函数组合是一种强大的工具，它可以用来创建可重用且易于维护的代码。在 JavaScript 中，我们可以使用函数组合来创建可组合的数据类型，以及用纯代码编写程序。函数组合使我们的代码更加简洁、易于理解和维护。