Haskellは参照透過だというのは納得している。
すべてを数学的な関数で表現しているという意味で。

だけど、Haskellには副作用がない・・とする主張は詭弁だと思う。

Haskellに副作用がないといえるなら、C言語もある意味で副作用ないといえると思う。
実際に動作する前までは・・。

DanoMoiの説明を見たときは、ケムにまかれたという感想でもなくて、単に「は?」だった。