43、函数式编程：Monads与语言选择

函数式编程：Monads与语言选择

1. Monads 概述

Monads 是编程界的热门话题，网上有很多相关教程，但真正能简单明了解释 Monads 的却很少。关于 Monads 的定义有很多：
- “A monad is just a monoid in the category of endofunctors.”
- “A monad is a computational context for some value.”
- “A monad is a class with a unit method and a flatmap method.”

此外，还有一些比较奇特的定义，如“Monads are burritos.” 和 “Monads are elephants” 。第一个列表中的定义在某些上下文中是有效的。第一个定义在范畴论的背景下可能是最严格的，但大多数程序员并不关心范畴论。第三个定义可能是 Java 程序员最容易理解的，方法的名称并不重要，重要的是这些方法必须遵循的规则。第二个定义可能是理解 Monads 最有用的，Monads 是计算上下文。

1.1 纯函数与部分函数

在函数式编程中，安全的编程是使用全函数进行编程。非全函数被称为部分函数，这意味着它们并不总是有值。例如：

f(x, y) = x + y

这个函数是否为纯函数取决于所使用的编程语言。在某些语言中，它可能会抛出算术溢出异常，因此它不是全函数，因为它不是对所有的 (x, y) 对都有定义，同时抛出异常是副作用，所以它不是纯函数。但