Monad 模式


基于线性代数monad的Monad模式代表了逐步将操作链接在一起的方式。绑定函数可以描述为根据“相同类型”契约将一个输出传递给另一个输入。在形式上,monad由一个类型构造函数M和两个操作组成:bind - 它将monadic对象和一个函数从普通对象转换为monadic值并返回,monadic值返回 - 它接受普通类型对象并返回包装在monadic值中的该对象。

适用场景

  • 当你想轻松进行连锁操作时
  • 当你想要应用每个函数,而不论它们的结果如何