Monad是封装带上下文值的对象，支持of和chain操作并遵循三大定律；通过Maybe处理空值、Either处理错误、Promise实现异步链式调用，提升JavaScript代码安全性与可读性。
在JavaScript函数式编程中，Monad是一种设计模式，用于处理带有上下文的值，比如异步操作、可能失败的计算或状态管理。它通过封装值和行为，让链式调用变得更清晰、更安全。最常见的Monad是Promise和Optional（类似Maybe Monad）。下面介绍如何实现一个基础的Monad，并说明其核心思想。
什么是Monad？
Monad本质上是一个对象，它满足两个关键操作：of（也叫return或pure）和chain（也叫flatMap或bind）。它必须遵循三个数学法则：左单位律、右单位律和结合律。
一个基本的Monad结构包含：
- of(value)：将一个普通值包装进Monad容器。
- chain(fn)：对内部值应用一个返回Monad的函数，并扁平化结果。
实现一个简单的Maybe Monad
Maybe用于处理可能为null或undefined的情况，避免空值错误。
立即学习“Java免费学习笔记（深入）”；
const Maybe = {
of: (value) => ({
value,
map: (fn) => value == null ? Maybe.of(null) : Maybe.of(fn(value)),
chain: (fn) => value == null ? Maybe.of(null) : fn(value)
}),
fromNullable: (value) => value == null ? Maybe.of(null) : Maybe.of(value)
};
<p>// 使用示例
const getUserAge = (user) => Maybe.of(user)
.chain(u => u && u.profile ? Maybe.of(u.profile.age) : Maybe.of(null))
.chain(age => age > 0 ? Maybe.of(age) : Maybe.of(null));</p><p>console.log(getUserAge({ profile: { age: 25 } }).value); // 25
console.log(getUserAge({}).value); // null</p>实现一个Either Monad处理错误
Either用于表示两种可能的结果：成功（Right）或失败（Left），常用于替代异常处理。
const Left = (value) => ({
value,
map: () => Left(value),
chain: () => Left(value),
fold: (ifLeft, ifRight) => ifLeft(value)
});
<p>const Right = (value) => ({
value,
map: (fn) => Right(fn(value)),
chain: (fn) => fn(value),
fold: (ifLeft, ifRight) => ifRight(value)
});</p><p>const Either = {
of: Right,
left: Left,
right: Right,
fromNullable: (value) =>
value == null ? Left(value) : Right(value)
};</p><p>// 使用示例：除法运算
const divide = (a, b) =>
b === 0 ? Either.left('Cannot divide by zero') : Either.right(a / b);</p><p>divide(10, 2)
.map(x => x * 2)
.fold(
err => console.log('Error:', err),
result => console.log('Success:', result) // 输出: Success: 10
);</p><p>divide(10, 0).fold(
err => console.log('Error:', err), // 输出: Error: Cannot divide by zero
res => console.log('Success:', res)
);</p>Promise作为Monad的实际应用
JavaScript中的Promise天然符合Monad规范，.then()就是chain操作。
例如：
Promise.of = Promise.resolve;
<p>Promise.prototype.chain = function (fn) {
return this.then(fn);
};</p><p>// 链式调用
Promise.of(5)
.chain(x => Promise.of(x * 2))
.then(console.log); // 10</p>虽然原生Promise没有chain方法，但then的行为就是chain，且自动扁平化嵌套Promise。
基本上就这些。Monad的核心在于“上下文中的值”能被安全地传递和转换，避免副作用扩散。在JavaScript中虽不如Haskell严谨，但通过Maybe、Either等模式可显著提升代码健壮性。不复杂但容易忽略。
