我想说，与monads最接近的OO类比是“命令模式”。

在命令模式中，将普通语句或表达式包装在命令对象中。命令对象公开执行包装语句的执行方法。所以，语句被转换为可以随意传递和执行的第一类对象。可以组合命令，以便通过链接和嵌套命令对象来创建程序对象。

命令由单独的对象调用程序执行。使用命令模式（而不仅仅是执行一系列普通语句）的好处是，不同的调用程序可以将不同的逻辑应用于如何执行命令。

命令模式可用于添加（或删除）宿主语言不支持的语言功能。例如，在没有异常的假设OO语言中，可以通过向命令公开“try”和“throw”方法来添加异常语义。当命令调用throw时，调用程序会回溯到命令列表（或树），直到最后一次“try”调用。相反，您可以通过捕获每个单独命令抛出的所有异常，并将它们转换为错误代码，然后传递给下一个命令，从而从语言中删除异常语义（如果您认为异常是坏的）。

甚至更花哨的执行语义（如事务、非确定性执行或延续）也可以用本机不支持的语言实现。如果你仔细想想，这是一个非常强大的模式。

实际上，命令模式并没有像这样作为通用语言特性使用。将每个语句转换为单独的类的开销将导致无法忍受的样板代码。但原则上，它可以用于解决与在fp中使用monad解决的问题相同的问题。

为什么我们需要单子？

我们只想使用函数编程。（毕竟是“功能编程”-FP）。然后，我们遇到了第一个大问题。这是一个程序：f（x）=2*xg（x，y）=x/y我们怎么能说首先要执行什么？我们如何使用不超过个函数来形成一个有序的函数序列（即程序）？解决方案：组合函数。如果你先要g，然后要f，只需写f（g（x，y））。好的，但是。。。更多问题：某些函数可能会失败（即g（2,0），除以0）。我们在FP中没有“例外”。我们如何解决它？解决方案：让我们允许函数返回两种东西：而不是g:Real，Real->Real（函数从两个实数转换为实数），让我们允许g:Real、Real->Real|Nothing（函数从一个实数转换成（实数或零））。但函数应该（更简单地）只返回一件事。解决方案：让我们创建一种要返回的新类型的数据，一种“装箱类型”，它可能包含一个真实的数据，也可能只是一个空数据。因此，我们可以有g：真实，真实->可能真实。好的，但是。。。f（g（x，y））现在发生了什么？f还没有准备好使用“也许真的”。而且，我们不想改变我们可以与g连接的每一个函数，以使用Maybe Real。解决方案：让我们有一个特殊的函数来“连接”/“组合”/“链接”函数。这样，我们就可以在幕后调整一个函数的输出，以支持下一个函数。在我们的例子中：g>>=f（连接/合成g到f）。我们希望>>=获取g的输出，检查它，如果它是Nothing，则不要调用f并返回Nothing；或者相反，提取装箱的实数并用它来馈送f。（此算法只是Maye类型的>>=的实现）。出现了许多其他问题，可以使用相同的模式来解决：1。使用“框”来编码/存储不同的含义/值，并具有像g这样的函数来返回这些“框值”。2.让作曲家/链接器g>>=f帮助将g的输出连接到f的输入，这样我们就不必改变f。使用该技术可以解决的显著问题有：具有函数序列中的每个函数（“程序”）可以共享的全局状态：解StateMonad。我们不喜欢“不纯函数”：对相同输入产生不同输出的函数。因此，让我们标记这些函数，使它们返回一个标记/装箱的值：IOmonad。

完全幸福！！！！

在OO术语中，monad是一个流畅的容器。

最低要求是类＜a＞的定义，它支持构造函数Something（a a）和至少一个方法Something<B＞flatMap（函数＜a，Something<B＞＞）

可以说，monad类是否有签名Something＜B＞work（）的方法来保存类的规则——编译器在编译时在flatMap中烘焙。

为什么单子有用？因为它是一个允许保留语义的可链式操作的容器。例如，可选<？>为Optional<String>、Optional<Integer>、Optional<MyClass>等保留isPresent的语义。

作为一个粗略的例子，

Something<Integer> i = new Something("a")
  .flatMap(doOneThing)
  .flatMap(doAnother)
  .flatMap(toInt)

注意，我们以字符串开头，以整数结尾。很酷。

在OO中，这可能需要一点努力，但Something上的任何方法如果返回Something的另一个子类，都符合返回原始类型容器的容器函数的标准。

这就是保持语义的方式——即容器的含义和操作不会改变，它们只是包装和增强容器内的对象。

可选/可能是最基本的一元类型

单子是关于功能组成的。如果函数f：可选<A>->可选<B>，g：可选<B>->可选<C>，h：可选<C>->可选＜D>。然后你可以创作它们

optional<A> opt;
h(g(f(opt)));

monad类型的好处是，您可以改为组合f:A->可选<B>、g:B->可选<C>、h:C->可选<D>。他们可以这样做，因为monadic接口提供了绑定运算符

auto optional<A>::bind(A->optional<B>)->optional<B>

并且可以写作文

optional<A> opt
opt.bind(f)
   .bind(g)
   .bind(h)

monads的好处是我们不再需要处理if（！opt）return nullopt的逻辑；在f、g、h中的每一个中，因为该逻辑被移动到绑定运算符中。

ranges/lists/iterables是第二种最基本的monad类型。

范围的一元特征是我们可以变换然后变平，即从一个整数范围内编码的表示开始[36，98]

我们可以转换为[[m'，'a'，'c'，'h'，'i'，'n'，'e'，'']，['l'，''，'r'，'n'，'i'，'n'，'g'，'.']]

然后压平[am'，'a'，'c'，'h'，'i'，'n'，'e'，'l'，''e'

而不是编写此代码

vector<string> lookup_table;
auto stringify(vector<unsigned> rng) -> vector<char>
{
    vector<char> result;
    for(unsigned key : rng)
       for(char ch : lookup_table[key])
           result.push_back(ch);
       result.push_back(' ')
    result.push_back('.')
    return result
}

我们可以写这个

auto f(unsigned key) -> vector<char>
{
    vector<char> result;
    for(ch : lookup_table[key])
        result.push_back(ch);
    return result
}
auto stringify(vector<unsigned> rng) -> vector<char>
{
    return rng.bind(f);
}

monad将for循环（无符号键：rng）向上推到绑定函数中，从而允许理论上更容易推理的代码。毕达哥拉斯三元组可以在范围-v3中使用嵌套绑定生成（而不是我们看到的可选的链式绑定）

auto triples =
  for_each(ints(1), [](int z) {
    return for_each(ints(1, z), [=](int x) {
      return for_each(ints(x, z), [=](int y) {
        return yield_if(x*x + y*y == z*z, std::make_tuple(x, y, z));
      });
    });
  });

monad在OO中是否具有“自然”解释取决于monad。在像Java这样的语言中，您可以将may monad转换为检查空指针的语言，这样失败的计算（即，在Haskell中生成Nothing）会将空指针作为结果发出。您可以将状态monad转换为通过创建可变变量和更改其状态的方法生成的语言。

monad是内函子范畴中的幺半群。

这句话所表达的信息非常深刻。你在一个monad中使用任何命令式语言。monad是一种“有序”的领域特定语言。它满足某些有趣的财产，这些属性使单子函数成为“命令式编程”的数学模型。Haskell使定义小型（或大型）命令式语言变得容易，这些语言可以以多种方式组合。

作为一名OO程序员，您使用语言的类层次结构来组织可以在上下文中调用的函数或过程的类型，即您所称的对象。monad也是对这个概念的抽象，因为不同的monad可以以任意方式组合，有效地将所有子monad的方法“导入”到范围中。

从体系结构上讲，然后使用类型签名来明确表示可以使用哪些上下文来计算值。

可以使用monad转换器来实现这一目的，并且有一个高质量的所有“标准”monad集合：

列表（通过将列表视为域进行非确定性计算）可能（计算可能失败，但报告不重要）错误（可能失败并需要异常处理的计算Reader（可以由普通Haskell函数组合表示的计算）编写器（使用顺序“渲染”/“记录”（到字符串、html等）进行计算）续（续）IO（取决于底层计算机系统的计算）状态（上下文包含可修改值的计算）

具有相应的monad变压器和类型类别。类型类允许通过统一monad的接口来组合monad，从而使具体monad可以实现monad“类”的标准接口。例如，模块Control.Monad.State包含一个类MonadState s m，（State s）是表单的一个实例

instance MonadState s (State s) where
    put = ...
    get = ...

长话短说，monad是一个函子，它将“上下文”附加到一个值上，它可以向monad中注入一个值，并且可以根据附加到它上的上下文来评估值，至少是以受限的方式。

So:

return :: a -> m a

是一个函数，它将a类型的值注入到m类型的monad“action”中。

(>>=) :: m a -> (a -> m b) -> m b

是一个执行monad操作、评估其结果并将函数应用于结果的函数。（>>=）的妙处在于结果在同一个monad中。换句话说，在m>>=f中，（>>=）从m中提取结果，并将其绑定到f，这样结果就在monad中。（或者，我们可以说（>>=）将f拉入m，并将其应用于结果。）因此，如果我们有f:：a->m b和g:：b->m c，我们可以“排序”动作：

m >>= f >>= g

或者，使用“do符号”

do x <- m
   y <- f x
   g y

（>>）的类型可能是发光的。它是

(>>) :: m a -> m b -> m b

它对应于C等过程语言中的（；）运算符。它允许使用以下表示法：

m = do x <- someQuery
       someAction x
       theNextAction
       andSoOn

在数学和哲学逻辑中，我们有框架和模型，这些框架和模型“自然”地用单子主义建模。解释是一种函数，它查看模型的域，并计算命题（或公式，在推广下）的真值（或推广）。在必要性的模态逻辑中，我们可能会说，如果命题在“每个可能的世界”中都是真的，那么它是必要的——如果它在每个可容许的域中都是真实的。这意味着命题语言中的模型可以具体化为一个模型，其域由不同模型的集合组成（一个对应于每个可能的世界）。每个monad都有一个名为“join”的方法，该方法将分层，这意味着结果为monad动作的每个monad动作都可以嵌入到monad中。

join :: m (m a) -> m a

更重要的是，这意味着monad在“层堆叠”操作下关闭。这就是monad转换器的工作原理：它们通过为以下类型提供“类联接”方法来组合monad：

newtype MaybeT m a = MaybeT { runMaybeT :: m (Maybe a) }

这样我们就可以将（MaybeT m）中的作用转换为m中的作用，有效地折叠层。在本例中，runMaybeT：：MaybeT m a->m（Maybe a）是我们的类联接方法。（MaybeT m）是一个monad，MaybeT：：m（Maybe a）->MaybeT ma实际上是m中一个新类型monad动作的构造函数。

函子的自由单元是通过堆叠f生成的单元，这意味着f的每个构造函数序列都是自由单元的元素（或者更确切地说，是与f的构造函数序列树形状相同的元素）。自由单体是一种用最少的锅炉板构建柔性单体的有用技术。在Haskell程序中，我可能会使用自由monad来为“高级系统编程”定义简单monad，以帮助维护类型安全（我只是在使用类型及其声明。使用组合子可以直接实现）：

data RandomF r a = GetRandom (r -> a) deriving Functor
type Random r a = Free (RandomF r) a


type RandomT m a = Random (m a) (m a) -- model randomness in a monad by computing random monad elements.
getRandom     :: Random r r
runRandomIO   :: Random r a -> IO a (use some kind of IO-based backend to run)
runRandomIO'  :: Random r a -> IO a (use some other kind of IO-based backend)
runRandomList :: Random r a -> [a]  (some kind of list-based backend (for pseudo-randoms))

Monastem是您可能称之为“解释器”或“命令”模式的基础架构，抽象为最清晰的形式，因为每个单元计算都必须“运行”，至少是微不足道的。（运行时系统为我们运行IO monad，是任何Haskell程序的入口点。IO通过按顺序运行IO操作来“驱动”其余的计算）。

join的类型也是我们得到monad是内函子范畴中的幺半群的陈述的地方。由于其类型，联接对于理论目的来说通常更为重要。但了解类型意味着了解单子。Join和monad变换器的类Join类型在函数组合的意义上是内函子的有效组合。把它放在类似Haskell的伪语言中，

Foo:：m（m a）<->（m.m）a

来自维基百科：

在函数式编程中，monad是一种抽象数据类型，用于表示计算（而不是域模型中的数据）。Monads公司允许程序员链接动作一起构建管道，其中每个动作都用提供了其他处理规则莫纳德。编写的程序功能性风格可以利用monads来构造程序包括顺序操作，1[2]或定义任意控制流（如处理并发，延续或例外）。形式上，monad由定义两个操作（bind和return）和类型构造函数M必须满足几个财产才能允许正确组成一元函数（即使用monad中的值作为参数）。返回操作需要一个普通类型的值，并将其放入装入M型一元容器中。绑定操作执行反向处理，提取集装箱的原始价值，以及将其传递给关联的下一个函数。程序员将编写monadic定义数据处理的函数管道monad充当框架，因为它是一种可重用的行为这决定了调用管道，并管理所有需要的卧底工作计算[3] 绑定和返回管道中交错的运算符将在每个monadic之后执行函数返回控制，并将注意特定方面由monad处理。

我相信这很好地解释了这一点。