>>473 　遅くなったがありがと

>まず、関数 double 内では副作用がある処理はできない
これはgoodだが、Ｃでもできる（モナド固有の利点ではない）と472で言った。

>副作用がある処理を手続き型と同じように「書ける」
これももちろん、Ｃでもできる。

結局、どちらもＣでもできることだがなあ、というのが現時点での感想。
どうなの？

>>474

>コンパイラ依存の話をしているのではなく、
>言語としての仕様の話をしているのだと

うん。言語としての仕様の話でいいです。
コンパイラ依存の話をしたつもりはないんだが。