函数式J*aScript_Monad与Functor_石家庄创泽智能科技有限公司

新闻中心 NEWS CENTER

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

函数式J*aScript_Monad与Functor

2025-11-19

浏览次数：次

返回列表

函数式javascript_monad与functor

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

Functor：可映射的容器

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

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 可以避免这种嵌套：

TWE-Commerce

一个功能强大的B2B与B2C的购物平台，除了原本OSC功能外，增加更新的功能：一、取消了register_globals必须开启的限制二、將HTML程式碼与PHP程式碼完全分离，採用了smarty 樣板引擎三、每支档案includes所需函数与资料库连结，使的网页显示速度明显提升四、检视、购买商品群组权限设定五、十八岁以下禁购机制六、折价券购物抵扣机制七、礼券购物机制

0 查看详情 TWE-Commerce

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 也是 J*aScript 中常见的 Monad 实现。then 方法的行为类似于 flatMap，自动展开 Promise 嵌套：

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