Haskellまだかじった程度だけど、参照透明性がなにかハッピーにしてくれるの?
やろうと思えば、既存の言語でも出来るわけで。言語的に制約がかかっているか
どうかでしょ。「言語的に制約がかかる」というのは、入門者にとってしかメリット
はないよ。

遅延評価も*ほぼ*使わない。無限計算なんてやらんよ?

こんなんで、なんで既存言語から乗り換えるの?俺が、まだHaskellよくわかっていない
だけ?