It's much more important to make global variables (object fields) final, not locals. Locals are much much easier to test and reason about, and functional langua

It's much more important to make global variables (object fields) final, not locals. Locals are much much easier to test and reason about, and functional languages lie Haskell and Clojure have great support for mutable locals (ST / transient)