参照透過性が満たされることの利点は何ですか?
具体的には変数が代入できることで生じる具体的なバグが知りたいです。