monad 是加強版的 applicative 函子。 我現在有點忘了什麼是 applicative 函子，所以我先複習一下。 複習 函子（Functor 型別類） 支援 fmap 的型別就是

看到函數語言程式設計相關的資料的時候, 總是看到 Monad 這個詞, 一直想了解一下, 然而查資料對 Monad 的定義往往是上來一大堆數學概念: Monad 是一個自函子範疇上的么半群 鑑於本人數學

深入理解 Java 函數語言程式設計，第 5 部分 深入解析 Monad 成 富 2018 年 12 月 03 日釋出 系列內容： 此內容是該系列 5

這一系列是我學習Learn You a Haskell For Great Good 之後，總結，編寫的學習筆記。 這個系列主要分為五個部分： 從遞迴說起

docs forControl.Monad.Trans.Error 提供了組合兩個單體的例子： type ErrorWithIO e a = ErrorT e