- 713 名前：デフォルトの名無しさん [2017/07/01(土) 08:12:10.07 ID:yvgbUlYU.net]
- IOモナドっつーか、モナドは難しく考えんで良いだろと。
IO String >>= String
IO String >> は結果を捨てる。>>= ¥_ -> の略記。
return String ってしたらIOなString返るから、return使えばモナドの途中で純粋な関数で加工出来る。
それがIOモナドにも具体的な型にも依存しない汎用的な表現が
m a >>= a
ってだけ。
これだけ覚えれば使うにゃ十分だし、使ってるうちにただの型クラスやってわかる。
結局型クラスも型を受け取れる型ってだけで、ただの型でもあるから、純粋関数の結果としてString返すと、IO StringとStringは型が違うよって怒られる。
だからIO Stringにする為にIO Stringな関数か、return使いましょうってだけ。
具体的な型を考えれば何のことはない。
returnはそう考えればまあ自然なんだが、リターンってよりレシーブって印象。
