ある変数の値が今後変更されるか否かが把握できる

これについては、メソッドを短く保つことで実質的にメリットを得られるので必要性を感じることはほとんどない（ローカル変数はほとんど常に再代入されないので）。
インスタンス変数を不変にしたいことはあまりないけど、不変にしたいときはちょっと不便。