Slide 47
Slide 47 text
モナディックなAPIの読み方
● 何を提供するモナドか、メンタルモデルを把握する
○ I/O (MonadIO)
○ 引数の引き回し(State, Reader, Writer)
○ 例外処理(Maybe, Either, Except)
○ 実行順の制御(Cont, ストリーミング系)
○ ループ(リスト)
○ 並列、並行性(STM, Eval, Par)
○ 抽象DSL (Free)
● 利用可能な操作を探す
● モナドの剥がし方を探す
○ runSomeT や unSomeT などの命名が多い