QAで学ぶMonad - あどけない話

この記事は、Monad でつまづいた Haskeller のための Monad 再入門です。 Monadとは何ですか？ Monad とは、単なる型クラスの一つです。難しいという風評もありますが、それ以上でもそれ以下でもありません。 この型クラスのメソッドは、return と >>= です。 class Monad m where (>>=) :: m a -> (a -> m b) -> m b return :: a -> m a つまり、以下を満たす型の集合が Monad です。 m a で表現できるように一つの型変数を格納するコンテナ型 >>= と return を実装 return は新しいコンテナを作り、>>= は二つのコンテナを合成します。 Monad のインスタンスは失敗系と状態系に大別できます。以下に代表的なインスタンスを示します。 失敗系: Maybe、[] (リスト)

[l-_-ll]

"(+1) <$> は、(+1) という文脈非依存の関数を Maybe という文脈に持ち上げているのです。(略)「失敗しない関数を失敗するかもしれない関数に変更している」と考えてもよいでしょう"

[anconium]

とりあえずMonadの定義とFunctorは少し理解が深まった。型理論もっと知りたい。

[gamaguchi]

QAで学ぶMonad - あどけない話

[daiksy]

モナド！モナド！！

[willnet]

H本とは違う切り口でMonadを説明していて参考になる

[kitokitoki]

MonadPlus

[nauthiz]

モナドについて

[nozom]

QAで学ぶMonad

[kzfm]

IO は命令書であり、命令ではありません。

[starpos]

Monad 何それおいしいの？という人はすぐ読むべき．

[taki0313]

もなど！

[yuroyoro]

あとで手を動かして確認してみようか

[h-hirai]

Applicative の <*> のとこから分かんなくなった。またあとで読み直す。