0

0

函数式编程_JavaScript Monad模式

夢幻星辰

夢幻星辰

发布时间:2025-11-28 17:41:15

|

960人浏览过

|

来源于php中文网

原创

Monad是封装值并提供of和chain操作的容器,用于处理上下文中的计算。它通过Maybe避免空值错误,Either处理分支逻辑,提升代码可组合性与安全性,类似Promise的链式处理机制。

函数式编程_javascript monad模式

函数式编程中,Monad 是一个抽象概念,用来处理带有上下文的值。在 JavaScript 中,虽然它不是类型系统的一部分,但我们可以通过对象和函数模拟 Monad 模式,提升代码的可组合性和可读性。

什么是 Monad?

Monad 可以理解为一个容器,它封装了一个值,并提供两个核心操作:of(也叫 unit 或 return)和 chain(也叫 flatMap 或 bind)。

它的基本结构满足以下规则:

  • of:将普通值放入 Monad 容器。
  • chain:对容器中的值应用一个返回 Monad 的函数,并自动“展平”结果,避免嵌套。

简单来说,Monad 让你能链式处理可能带有副作用或特殊逻辑的计算,比如异步、错误处理或空值检查。

立即学习Java免费学习笔记(深入)”;

常见的 Monad 示例

下面用几个典型的 Monad 帮助理解其实际用途。

1. Maybe Monad(处理 null/undefined)

CreateWise AI
CreateWise AI

为播客创作者设计的AI创作工具,AI自动去口癖、提交亮点和生成Show notes、标题等

下载

Maybe 用于避免空值错误。它有两个子类型:Just(有值)和 Nothing(无值)。

const Maybe = {
  of: (value) => ({
    value,
    map: (fn) => (value == null ? Maybe.Nothing() : Maybe.of(fn(value))),
    chain: (fn) => (value == null ? Maybe.Nothing() : fn(value)),
  }),
  Nothing: () => ({
    value: null,
    map: () => Maybe.Nothing(),
    chain: () => Maybe.Nothing(),
  }),
};

// 使用示例
const getProp = (key) => (obj) =>
  Maybe.of(obj[key]);

const result = Maybe.of({ name: "Alice" })
  .chain(getProp("name"))
  .map((name) => name.toUpperCase());

console.log(result.value); // "ALICE"

// 如果属性不存在
const badResult = Maybe.of({})
  .chain(getProp("name"))
  .map((name) => name.toUpperCase());

console.log(badResult.value); // null(不会报错)

2. Either Monad(处理错误或分支逻辑)

Either 用于表示两种可能的结果:成功(Right)或失败(Left),常用于错误处理。

const Either = {
  of: (value) => Right(value),
  left: (value) => ({
    value,
    map: () => Either.left(value),
    chain: () => Either.left(value),
    fold: (ifLeft, ifRight) => ifLeft(value),
  }),
};

const Right = (value) => ({
  value,
  map: (fn) => Right(fn(value)),
  chain: (fn) => fn(value),
  fold: (ifLeft, ifRight) => ifRight(value),
});

const Left = (value) => Either.left(value);

// 使用示例:验证用户邮箱
const validateEmail = (email) =>
  email.includes("@")
    ? Either.of(email)
    : Either.left("Invalid email");

const sendEmail = (email) =>
  console.log(`Sending to ${email}`) || `Sent to ${email}`;

const processUser = (user) =>
  Maybe.of(user.email)
    .chain((email) => validateEmail(email))
    .map(sendEmail)
    .fold(
      (err) => console.error(err),
      (result) => console.log(result)
    );

processUser({ email: "alice@example.com" }); // 正常发送
processUser({ email: "alice" });             // 输出错误信息

如何在日常开发中使用 Monad?

虽然你不需要从头实现所有 Monad,但理解其思想有助于写出更健壮的函数链。

  • Promise 理解 Monad:Promise.then 类似 map,Promise.resolve 相当于 of,而 then 返回新 Promise 就是 chain 的体现。
  • 封装异步或校验逻辑时,可以设计类似 Either 的结构来统一处理成功与失败路径。
  • 避免深层嵌套判断,通过 Monad 把“值+上下文”一起传递。

基本上就这些。Monad 不是魔法,而是让副作用和控制流变得更可预测的设计模式。在 JavaScript 中合理使用,能让你的函数式风格代码更清晰、更安全。

相关文章

编程速学教程(入门课程)
编程速学教程(入门课程)

编程怎么学习?编程怎么入门?编程在哪学?编程怎么学才快?不用担心,这里为大家提供了编程速学教程(入门课程),有需要的小伙伴保存下载就能学习啦!

下载

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

热门AI工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

WorkBuddy
WorkBuddy

腾讯云推出的AI原生桌面智能体工作台

腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文心一言
文心一言

文心一言是百度开发的AI聊天机器人,通过对话可以生成各种形式的内容。

讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具,可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

即梦AI
即梦AI

一站式AI创作平台,免费AI图片和视频生成。

ChatGPT
ChatGPT

最最强大的AI聊天机器人程序,ChatGPT不单是聊天机器人,还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

相关专题

更多
c语言中null和NULL的区别
c语言中null和NULL的区别

c语言中null和NULL的区别是:null是C语言中的一个宏定义,通常用来表示一个空指针,可以用于初始化指针变量,或者在条件语句中判断指针是否为空;NULL是C语言中的一个预定义常量,通常用来表示一个空值,用于表示一个空的指针、空的指针数组或者空的结构体指针。

254

2023.09.22

java中null的用法
java中null的用法

在Java中,null表示一个引用类型的变量不指向任何对象。可以将null赋值给任何引用类型的变量,包括类、接口、数组、字符串等。想了解更多null的相关内容,可以阅读本专题下面的文章。

1089

2024.03.01

golang map内存释放
golang map内存释放

本专题整合了golang map内存相关教程,阅读专题下面的文章了解更多相关内容。

77

2025.09.05

golang map相关教程
golang map相关教程

本专题整合了golang map相关教程,阅读专题下面的文章了解更多详细内容。

40

2025.11.16

golang map原理
golang map原理

本专题整合了golang map相关内容,阅读专题下面的文章了解更多详细内容。

67

2025.11.17

java判断map相关教程
java判断map相关教程

本专题整合了java判断map相关教程,阅读专题下面的文章了解更多详细内容。

47

2025.11.27

undefined是什么
undefined是什么

undefined是代表一个值或变量不存在或未定义的状态。它可以作为默认值来判断一个变量是否已经被赋值,也可以用于设置默认参数值。尽管在不同的编程语言中,undefined可能具有不同的含义和用法,但理解undefined的概念可以帮助我们更好地理解和编写程序。本专题为大家提供undefined相关的各种文章、以及下载和课程。

6502

2023.07.31

网页undefined是什么意思
网页undefined是什么意思

网页undefined是指页面出现了未知错误的意思,提示undefined一般是在开发网站的时候定义不正确或是转换不正确,或是找不到定义才会提示undefined未定义这个错误。想了解更多的相关内容,可以阅读本专题下面的文章。

3345

2024.08.14

TypeScript类型系统进阶与大型前端项目实践
TypeScript类型系统进阶与大型前端项目实践

本专题围绕 TypeScript 在大型前端项目中的应用展开,深入讲解类型系统设计与工程化开发方法。内容包括泛型与高级类型、类型推断机制、声明文件编写、模块化结构设计以及代码规范管理。通过真实项目案例分析,帮助开发者构建类型安全、结构清晰、易维护的前端工程体系,提高团队协作效率与代码质量。

26

2026.03.13

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
Python进阶视频教程
Python进阶视频教程

共30课时 | 8.1万人学习

Scala教程
Scala教程

共24课时 | 14万人学习

React 教程
React 教程

共58课时 | 6万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号