在最近简要回顾了Haskell之后，对于monad本质上是什么，有什么简单、简洁、实用的解释？
我发现，我遇到的大多数解释都很难理解，而且缺乏实际细节。
当前回答
正如丹尼尔·斯皮瓦克（Daniel Spiewak）所解释的，修道院不是隐喻，而是从一种共同模式中产生的一种实用的抽象。
其他回答
根据我们所谈论的monad，“什么是monad”这个问题是错误的：
对“什么是单单体？”这个问题的简短回答是，它是内函子范畴中的单单体，或者它是一种通用数据类型，配备了满足某些定律的两个运算。这是正确的，但它并没有揭示一个重要的大局。这是因为问题是错误的。在这篇论文中，我们的目标是回答正确的问题，即“当作者谈论单子时，他们真正说的是什么？”
虽然这篇论文没有直接回答什么是单子，但它有助于理解不同背景的人谈论单子时的含义以及原因。
除了上面出色的答案之外，让我为您提供以下文章的链接（由Patrick Thomson撰写），该文章通过将概念与JavaScript库jQuery（及其使用“方法链接”来操作DOM的方式）相关联来解释monads：jQuery是Monad
jQuery文档本身并没有提到术语“monad”，而是谈到了可能更熟悉的“构建器模式”。这并不能改变一个事实，那就是你有一个合适的monad，也许你甚至没有意识到它。
如果我理解正确的话，IEnumerable是从monad派生出来的。我想知道，对于我们这些来自C#世界的人来说，这可能是一个有趣的视角吗？
值得一提的是，这里有一些帮助我的教程链接（不，我还不知道单子是什么）。
http://osteele.com/archives/2007/12/overloading-semicolonhttp://spbhug.folding-maps.org/wiki/MonadsEnhttp://www.loria.fr/~kow/monads/
monad是用于封装状态变化的对象的东西。在不允许您具有可修改状态的语言（例如，Haskell）中最常遇到这种情况。
例如文件I/O。
您将能够使用文件I/O的monad来将不断变化的状态本质与使用monad的代码隔离开来。Monad内部的代码可以有效地忽略Monad外部世界的变化状态，这使您更容易理解程序的整体效果。
monad是一种将共享共同上下文的计算组合在一起的方法。这就像建立一个管道网络。当构建网络时，没有数据流过它。但是当我用“bind”和“return”将所有位拼接在一起后，我调用类似runMyMonad monad数据的东西，数据流过管道。
