モナドのすべて - Enjoy Programmingモナドのすべてを読んでいきます。 第 I 部：モナドを理解する イントロダクション モナドとは何か なぜモナドを理解しようとするのか モナドに触れる 型構築子 Maybe というモナド 例 リストもモナド 要約 class で使う Haskell の型クラス Monad クラス 例のつづき do 記法 要約 モナド則 三つの基本則 失敗は付けたし 出口はない Zero と Plus 要約 練習問題 do 記法 モナド値の合成 List モナドを使う モナドクラス制約を使う Haskell におけるモナドのサポート 標準プレリュードでは Monadクラス 直列化関数 写像関数 逆方向束縛関数 Monad モジュールでは MonadPlus クラス リスト関数のモナド版 foldM filterM zipWithM 条件式のモナド計算 ap およびリフト関数 ap allCombination
