847(2): [―{}@{}@{}-] デフォルトの名無しさん [sage] 2011/12/25(日) 19:10:26.88 AAS
>>844
>IOモナドはモナドのひとつじゃないん？
そうだよ
>その「純粋さを保ったまま入出力をする仕組み」がモナドなんやろ？
IOモナドがその仕組み。それ以外のモナドは全然別のことをする(構文解析とか)
>純粋さって関数型のってこと？もしそうなら、どの程度保てるものなの？
副作用のある関数を一切使わずに入出力のあるプログラムが書ける