モナド変換子
前提
モナド
とは計算の文脈である
e.g.
Maybe
計算が失敗するかも
IO
純粋でない計算が起こるかも
モチベーション
複数の文脈を同時に使いたい
Maybe
+
IO
計算が失敗するかも + 純粋でない計算が起こるかも
自分でそれ専用のモナドを作ってもいいが,面倒くさいので,
既にあるものを組み合わせて再利用
できると素敵
読むべき記事
Maybe と IO を一緒に使いたくなったら
ryota-ka.icon
ワイのブログや