HOME | EDIT | RSS | ARCHIVE | INDEX | ABOUT

范畴论完全装逼手册(三) / Grokking Monad

第二部分介绍了一些实用的monad instances,这些 monad 都通过同样的抽象方式,解决了分离计算与副作用的工作。

通过它们可以解决大多数的基本问题,但是正对于复杂业务逻辑,我们可能还需要一些更高阶的 monad 或者 pattern。

当有了第一部分的理论基础和第二部分的实践,这部分要介绍的猫其实并不是很搞基,也不是很难懂。通过这一部分介绍的搞基猫呢,我们还可以像 IO monad 一样,通过 free 或者 Eff 自定义自己的计算,和可能带副作用的解释器。

搞基猫呢Advanced Monads

RWS

Monad Transform

MonadPlus

MonadFix

ST

Free Monad

Eff