型あり派の方々は参照透過性の問題についてどう考えていますか？
僕は型にこだわらない方ですが、関数型言語じゃない言語を使って
るときでも、初期化以外の代入を避けたりしてますけど。