函数式JavaScript_Monad与Functor

夢幻星辰 2025-11-19 00:00:00 次阅读

在函数式编程中，JavaScript 的 Monad 和 Functor 是两个核心概念，它们帮助我们以更优雅、可组合的方式处理副作用和嵌套计算。理解它们的关键在于掌握“函子”（Functor）是基础映射结构，而“单子”（Monad）是支持链式操作的增强版函子。

Functor：可映射的容器

Functor 是一个拥有 map 方法的对象，它能将函数应用到内部值上，并返回一个新的同类型容器。最典型的例子是 JavaScript 中的数组：

const arr = [1, 2, 3];
const result = arr.map(x => x * 2); // [2, 4, 6]

但 Functor 不仅限于数组。只要一个类型实现了 map 且满足两个法则，就可以称为 Functor：

恒等映射：container.map(x => x) 等于 container 本身
组合性：container.map(f).map(g) 等价于 container.map(x => g(f(x)))

比如实现一个简单的 Maybe Functor 来避免 null 错误：

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

  map(fn) {
    if (this.value == null) return this;
    return new Maybe(fn(this.value));
  }
}

const user = new Maybe({ name: 'Alice' });
const nameLength = user.map(u => u.name).map(n => n.length); // Maybe(5)

Monad：支持扁平化链式调用的 Functor

Monad 是一种特殊的 Functor，它除了 map 外，还实现了 flatMap（也叫 bind 或 chain），用于处理嵌套结构。它的关键能力是把返回 Functor 的函数“压平”一层。

例如，当 map 返回一个 Maybe 时，会出现 Maybe(Maybe(value))，而 flatMap 可以避免这种嵌套：

class Maybe {
  // ... 同上

  flatMap(fn) {
    if (this.value == null) return this;
    return fn(this.value);
  }
}

const findUser = id => id === 1 ? new Maybe({ name: 'Bob' }) : new Maybe(null);
const userName = new Maybe(1)
  .flatMap(findUser)
  .map(user => user.name); // Maybe("Bob")

Promise 也是 JavaScript 中常见的 Monad 实现。then 方法的行为类似于 flatMap，自动展开 Promise 嵌套：

Promise.resolve(1)
.then(x => Promise.resolve(x + 1)) // 自动解包
.then(console.log); // 输出 2