>>803 >>808

803のリンクは、
「参照透明は関数型言語の魅力としては不適当」と言っているのでは?