>>218
>関数型言語といっても、つきつめて考えれば命令型に
どうつきつめるのか知らんが、関数型言語自身は、そう還元できないし、
したくないと思っているよね。だからこそモナドなんてのを持ち出すの
じゃないの?