4 单 单 单子 子 子与 与 与 do- 记 记 记法 法 法 单子接口 Monad 允许我们对绑定和计算进行封装，它也是 「d o 」记法 夨 姩 妡妵 失夲天 一节中 do夭 记法的基础。 单子扩展了前面定义的 Applicative，其定义如下： interface Applicative m => Monad (m : Type -> Type) where (>>=) : m a -> (\x => e) • v; e 变为 v >>= (\_ => e) • let x = v; e 变为 let x = v in e IO 实现了 Monad，它使用原语函数定义。我们也可以为 Maybe 定义实现， 其实现如下： Monad Maybe where Nothing >>= k = Nothing (Just x) >>= k = k x 通过它，我们可以定义一个将两个 版 版本 本 本 1. 3. 1 单 单 单子 子 子推 推 推导 导 导式 式 式 我们之间在 更多表达式 夨 姩 妡妵 失夹天 一节中看到的列表推导记法其实更通用， 它可应用于任何实现了 Monad 和 Alternative 的东西： interface Applicative f => Alternative (f : Type -> Type) where empty : f a (<|>)

一个元如果是引用值，请使用一个副本（克隆、复制、替代等方式）来得到状态变更。 2.5.5 高阶：函数抽象和组合 JS 中用的最多的就是 Array 相关的高阶函数。实际上 Array 是一种 Monad（后面 讲解）。 图 37 前端 < 537 通过高阶函数传递和修改变量： 图 38 高阶函数实际上为我们提供了注入环境变量（或者说绑定环境变量）提供了更多可能。 React 的高阶 用问题需要解决，能否解决这个问题也决定了一门函数式编程语言最终是否能走上 成功。 本文主要分为三个部分： ● 副作用处理方式 ● 函数式编程的应用 ● 函数式编程的优缺点比较 3. 副作用处理：单子 Monad，一种不可避免的抽象 上面说的，都是最基础的 JavaScript 概念 + 函数式编程概念。但我们还留了一个“坑”。 如何去处理 IO 操作？ 我们的代码经常在和副作用打交道，如果要满足纯函数的要求，几乎连一个需求都完 裹到一个特殊的函数里面。 如果一个函数既包含了我们的值，又封装了值的统一操作，使得我们可以在它限定的 范围内进行任意运算，那么，我们称这种函数类型为 Monad。Monad 是一种高级别 的思维抽象。 544 > 2022年美团技术年货 3.1 什么是 Monad ？ 先思考一个问题，下面两个定义有什么区别？ 图 45 num1 是数字类型，而 num2 是对象类型，这是一个直观的区别。 不过

flatMap (t: Self.Generator.Element -> S) -> [S.Generator.Element] MONAD MONAD PROMISE class Promise { func then(body: T -> U) -> Promise func then(body: map(body: T -> U) -> Observable func flatMap(body: T -> Observable) -> Observable } MONAD IN PRACTICE ASYNC CALLBACK (value: T?, error: ErrorType?) -> Void ASYNC CALLBACK (value: T?, error: