モナドの使い方 - Haskell 入門

モナドの使い方 Maybe モナド Haskell では Maybe 型をよく使う。Maybe 型の data 宣言は次のようになる。 Prelude> :info Maybe data Maybe a = Nothing | Just a -- Defined in `Data.Maybe' Maybe 型のデータコンストラクタは Nothing と Just a だ。検索が失敗したときは Nothing を返し、検索が成功したときはその値を Just "foo" のようにして返すというような使い方をする。Prelude には標準の関数でペアのリストからキーの値が fst 要素に一致するペアの snd 要素の値を求める lookup という関数がある。この lookup の戻値が Maybe 型だ。 Prelude> lookup 3 [(1,'a'),(2,'b'),(3,'c')]

[hamamuratakuo]

(1)モナド値 (2)モナド型関数（Kleisli射） 戻値がモナド値の関数 (3)return関数 モナド値にラッピングして返す関数 (4)>>= 演算子（bind演算子） 左項のモナド値からコンテナの値を取り、右項のモナド型関数へ引数として渡す関数