haskell - 解释 monad typeclass 的最佳 monadic 类型是什么？

Question

向一些对 monad 一无所知的人解释 monad typeclass 的最佳 monadic 类型是什么？我应该使用标准 Haskell 库中的东西还是应该编写一些新类型？

Answer 1

我认为激励 monad 的最好方法是展示有多少嵌入式领域特定语言具有 monad 的结构:

• 列表理解是一个明显的例子。
• JS Promises 是一个 monad，.then 作为绑定(bind)操作
• Groovy 的 ?. 运算符
• O-O 语言中的许多“流畅”接口(interface)都是一元的

使用 monad，您可以将 6502 的汇编程序嵌入到您的程序中 link甚至基本代码 link

monad 模式允许您从代码中去除不必要的复杂性，将注意力集中在计算的重要细节上。

当您想创建自己的 EDSL 时，了解 monad 模式将对您很有帮助。