IO (Maybe String)を触ってみる - QiitaLT駆動の発表内容の下書きです。 下書きといっても十分にかいているつもりである。（読みやすくとはいっていない) そのときのスライド IO (Maybe String)はモナドが入れ子になっている。IOなんかついてるととても扱いづらい。実際に体験してみたりしてみる。 IO Stringは 実行するたびに文字列が返ってくる。返ってくる文字列の内容は実行するたびに変わるかもしれない。 Maybe Stringは 評価すると文字列もしくは空っぽかもしれない値が返ってくる。評価するたびに結果は変わらない。 IO (Maybe String)は、実行するたびに文字列もしくは空っぽの値が返ってくる。値は実行するたびに変わるかもしれない。 IO Maybe Stringではない。 (IO Maybe) Stringと解釈されるため。これは型として不正。 IOは一つの型しか受け取らないが２つの型を受け取ろう
