在函数式编程中，如何利用 Monad 概念处理 JavaScript 中的副作用？-js教程-PHP中文网

在函数式编程中，如何利用 Monad 概念处理 JavaScript 中的副作用？

狼影

发布： 2025-10-08 20:05:01

原创

297人浏览过

Monad 是一种封装副作用并保持函数纯净的设计模式，通过 of 和 chain 方法实现值的包裹与操作组合。IO Monad 延迟执行副作用，如读取 localStorage 或打印日志，确保不破坏纯函数特性；Either Monad 处理可能失败的操作，用 Right 表示成功、Left 表示错误，结合 tryCatch 可安全解析数据。实际开发中应将副作用封装在 IO 或 Either 中，避免直接触发，提升代码可测性与健壮性，并可通过 fantasy-land 兼容库进一步支持函数式编程风格。

在函数式编程中，如何利用 monad 概念处理 javascript 中的副作用？

在函数式编程中，副作用（如网络请求、读写本地存储、打印日志等）会破坏纯函数的可预测性和可测试性。JavaScript 本身是命令式语言，容易产生副作用，但通过引入 Monad 概念，可以将这些不纯的操作封装起来，保持代码的函数式风格。

什么是 Monad？

Monad 是一种设计模式，本质是一个容器类型，具备两个关键能力：of（或 return）方法用于把值装进容器，以及 chain（或 flatMap）方法用于组合多个操作。它让开发者能以声明式方式处理可能包含副作用的计算。

常见的 Monad 如 Maybe、Either、IO 都可用于管理不同类型的副作用或异常情况。

使用 IO Monad 封装副作用

IO Monad 不会立即执行副作用，而是将其延迟到被调用时才运行。它把不纯的操作包装成一个“描述”动作的函数，从而保持函数的纯净性。

立即学习“Java免费学习笔记（深入）”；

例如，下面是一个简单的 IO Monad 实现：

const IO = function (fn) {
  this.unsafePerformIO = fn;
};

IO.of = (x) => new IO(() => x);

IO.prototype.map = function (f) {
  return new IO(() => f(this.unsafePerformIO()));
};

IO.prototype.chain = function (f) {
  return new IO(() => {
    const result = this.unsafePerformIO();
    return f(result).unsafePerformIO();
  });
};

登录后复制

利用这个 IO 类型，可以把读取 localStorage 的操作封装起来：

豆包AI编程

豆包推出的AI编程助手

483

查看详情

const getStorage = (key) =>
  new IO(() => localStorage.getItem(key));

const log = (msg) =>
  new IO(() => console.log(msg));

// 组合操作
getStorage('user')
  .map(JSON.parse)
  .chain(user =>
    log(`Hello, ${user.name}`).map(() => user)
  )
  .unsafePerformIO(); // 此时才真正执行

登录后复制

这样，整个流程是惰性的，副作用被推迟到最后明确调用 unsafePerformIO()，使得程序结构更可控。

用 Either 处理可能失败的副作用

很多副作用操作可能失败（如解析 JSON 出错）。Either Monad 可以表示两种结果：Right 表示成功，Left 表示错误。

示例实现：

const Right = (x) => ({
  map: (f) => Right(f(x)),
  chain: (f) => f(x),
  fold: (f, g) => g(x),
});

const Left = (x) => ({
  map: () => Left(x),
  chain: () => Left(x),
  fold: (f, g) => f(x),
});

const tryCatch = (fn) => {
  try {
    return Right(fn());
  } catch (e) {
    return Left(e);
  }
};

登录后复制

结合 IO 和 Either，可以安全地处理带错误风险的副作用：

const readUser = () =>
  new IO(() =>
    tryCatch(() =>
      JSON.parse(localStorage.getItem('user'))
    )
  );

readUser()
  .unsafePerformIO()
  .fold(
    (err) => console.error('Parse error:', err),
    (user) => console.log('User:', user)
  );

登录后复制