J*aScript函数式编程_函子与Monad_石家庄创泽智能科技有限公司

新闻中心 NEWS CENTER

您当前位置：首页 > 新闻中心 > 网络学院

J*aScript函数式编程_函子与Monad

2025-11-22

浏览次数：次

返回列表

函子是实现map方法的容器，可安全转换值，如Maybe避免空值判断；Monad通过chain方法扁平化嵌套，支持链式操作，如Either处理错误、IO封装副作用、Promise实现异步链式调用。

javascript函数式编程_函子与monad

函数式编程在J*aScript中越来越受到重视，尤其是在处理复杂数据流和异步操作时。理解函子（Functor）和Monad是掌握函数式编程的关键一步。它们不是花哨的概念，而是帮助我们更优雅地处理副作用、链式操作和类型安全的工具。

什么是函子（Functor）？

函子是一个可以被“映射”的容器。它实现了一个 map 方法，接受一个函数作为参数，并将这个函数应用到容器内部的值上，返回一个新的函子。

最简单的函子就是 Array：数组的 map 方法就是一个典型的函子行为。

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

但这只是开始。我们可以定义一个更通用的函子，比如 Maybe，用来处理可能为 null 或 undefined 的值。

Maybe 函子有两个变体：

Just(value)：表示有值
Nothing()：表示无值

使用 Maybe 可以避免频繁的 null 判断。

class Just {
constructor(value) { this.value = value }
map(f) { return new Just(f(this.value)) }
}

class Nothing {
map(f) { return this }
}

// 使用示例
const safeDivide = n => n === 0 ? new Nothing() : new Just(100 / n);
safeDivide(5).map(x => x + 1) // Just(21)
safeDivide(0).map(x => x + 1) // Nothing

Monad：能扁平化的函子

Monad 是一种特殊的函子，它除了有 map，还实现了 chain（也叫 flatMap 或 bind）方法。它的作用是解决“嵌套函子”问题。

比如，当你在一个 map 中又返回了一个函子，就会出现双重包裹：

动态WEB网站中的PHP和MySQL：直观的QuickPro指南第2版

动态WEB网站中的PHP和MySQL详细反映实际程序的需求，仔细地探讨外部数据的验证(例如信用卡卡号的格式)、用户登录以及如何使用模板建立网页的标准外观。动态WEB网站中的PHP和MySQL的内容不仅仅是这些。书中还提到如何串联J*aScript与PHP让用户操作时更快、更方便。还有正确处理用户输入错误的方法，让网站看起来更专业。另外还引入大量来自PEAR*函数库的强大功能，对常用的、强大的包

525 查看详情动态WEB网站中的PHP和MySQL：直观的QuickPro指南第2版

new Just(5)
.map(x => new Just(x * 2)) // 得到 Just(Just(10))

这显然不方便。Monad 的 chain 方法会自动“展平”一层。

修改 Just 和 Nothing，加入 chain 方法：

class Just {
  constructor(value) { this.value = value }
  map(f) { return new Just(f(this.value)) }
  chain(f) { return f(this.value) }
}

class Nothing {
map(f) { return this }
chain(f) { return this }
}

现在可以链式调用可能失败的操作：

const getUser = id => id > 0 ? new Just({ id, name: 'Alice' }) : new Nothing();
const getAge = user => user.name === 'Alice' ? new Just(25) : new Nothing();

getUser(1)
.chain(user => getAge(user))
.map(age => age + 1) // Just(26)