モナドとモナド変換子のイメージを描いてみた - melpon日記 - HaskellもC++もまともに扱えないへたれのページ

最初に言っておくと、モナドって何なの？っていう答えは一切ないです。 自分にとってモナドは「とりあえず型さえ合わせておけば何かいろいろしてくれる奴」程度としか認識できていないので、そんな説明できないです。 で、そんな自分が脳内でどういう風にイメージしてモナドやモナド変換子の混ざったコードを書いているかというのを図に表してみました。 ここら辺の話を図にした感じです。 モナドを触ってみた - melpon日記 - HaskellもC++もまともに扱えないへたれのページ モナド モナドには return 関数と >>= 関数があります。 こんなイメージです。下側の線が普通の関数型の世界、上側の線がモナドの世界です。 どちらもモナド側の出力しか無いので、どちらかの関数を使ったら、モナドから脱出することはできません。 ただ、>>= 関数の右側が点線の箱になっていることが分かるでしょうか。 ここには、太

[nauthiz]

関数型とモナドの世界の遷移を図にしている。わかりやすい。

[sirocco]

面白い。return は一般の世界からモナドの世界へ変換。(>>=)はモナドから一般の世界へ降りてきて演算をしてからモナドの世界へ。liftM は関数を引数にしていてモナドから一般へ降りて関数適用してモナドの世界へ

[matarillo]

カエサルのものはカエサルに、モナドのものは(>>=)モナドに返せ(return)

[maangie]

んー。モナドって何なの？ファジー演算子みたいなモノか知らん。勉強しろ>俺

[kisiritooru]

これが・・・モナドのチカラ・・・・ッ！！

[ruicc]

わかりやすい...前提知識を元に図の意味を読者にパターマッチさせているのがいい