>>216
そうだね。そのうちそちらの方で質問してみるよ。
関数型言語といっても、つきつめて考えれば命令型に
還元できるんじゃないかと思うし、モナドの合成は
関数や射の合成みたいなものかなーと想像したよ。