你可能已经知道 Monad 是什么

Source: Dev.to

介绍

在编程中有几个词似乎是专门用来吓跑人的：

• functor
• applicative
• monad

如果你尝试去查找它们的含义，可能会看到一种自以为是或毫无用处的解释。
这通常并不是因为你缺少某个关键的洞见。
一旦人们真正理解了这些概念，他们往往就失去了用朴素语言解释它们的能力。

这有点自相矛盾。

令人沮丧的是？你很可能已经对它们有了直观的认识。

如果你曾经：

• 对可能存在的东西进行映射（map）
• 链式调用相互依赖的异步操作
• 把“nothing”当作一种真实情况而不是错误

那么你已经踏入了这片领域。你是在压力之下学会的，而不是通过定义。

这些概念之所以屡屡出现，是因为真实系统需要一种方式来处理“可能”、 “稍后”以及“可能失败”——而不让一切变得一团糟。

我写了一篇更长的文章来探讨这些内容，前提是不假设你已有函数式编程的背景，也不把这些名字当作重点。Elm 是具体的例子，但它并不是核心。

Full article