2014 05-11-関数型lt大会-「やらなければならないこと」としてのhaskellのmonad
2 likes1,586 views
なんとなく分かりづらいと思っていたHaskellのモナドについて、 「型クラスとしてのMonad」や、実際のMonadの使われ方に基づいて、 プログラマ視点で説明してみました。 まとめ - HaskellのMonadは型クラス - 型クラスは、同じ振る舞いをする型達を、まとめて扱うために使用する。 - Monadは「値を返すたびにやらなければならないこと」をまとめる。
2014 05-11-関数型lt大会-「やらなければならないこと」としてのhaskellのmonad
- 3. 今日話すこと?話さないこと やたら難しいと言われるHaskellのMonadについて私なりの理解を説明してみま す。 これ↓ class Monad m where return :: a -> m a (>>=) :: m a -> (a -> m b) -> m b -- 以下略 圏論のモナドはよくわかりません！ 「もう知ってるぜ！」という部分も多いかとは思いますがあしからず。
- 5. Monadは型クラス （再掲）こんな感じのやつ↓ class Monad m where return :: a -> m a (>>=) :: m a -> (a -> m b) -> m b -- 以下略
- 9. ここで(>>=)を見てみましょう。 (>>=) :: m a -> (a -> m b) -> m b 他の型クラスと同様、Monadも必要なメソッド(>>=)に、 固有の処理を書くことで、抽象化している。
- 10. ここで(>>=)を見てみましょう。 (>>=) :: m a -> (a -> m b) -> m b 例えば... Maybeでは、m aのaを(a -> m b)に渡すため、 Just aなのかNothingなのかどうか判定している Readerでは、m aのaを(a -> m b)に渡すため、 関数に、足りない分の引数を与えている Parserでは、m aのaを(a -> m b)に渡すため、 与えられた文字列を消費している
- 11. ここで(>>=)を見てみましょう。 (>>=) :: m a -> (a -> m b) -> m b いずれも、 m aのaを(a -> m b)に渡すために、 必要な処理をそれぞれ持っている。 そして、 (a -> m b)が返したm bをまた別の関数に渡すよう、必要な処理を繰り返している。
- 12. つまり！！ Monadは(>>=)のm aのaを(a -> m b)に渡す部分に、 やらなければならないことをすべて押し込んでいる！ (a -> m b)が値を返す度に、 別の(a -> m b)な関数にMonadに包まれていない値を渡すために、 やらなければならないことを(>>=)に任せている。
- 13. 要するに！！ (a -> m b)という型の、 値を返す度に、やらなければならないことがある関数 がいっぱいある時、Monadは役に立つ。
- 14. 例えば！！ 「失敗したのかどうか、実行する度に確認しなきゃいけない」 関数がいっぱいあるときは、 => Maybe Monad 「実行する度に、結果のログを追記しなきゃいけない」 関数がいっぱいあるときは、 => Writer Monad 「実行する度に、入出力など、何かしら副作用のある計算をしなきゃいけない」 関数がいっぱいあるときは、 => IO Monad