[ot] Scala gets a system for tracking immutability

[tim]

So now D isn't the only OOP language with an immutability system:

"In the course of a semester project, Davide Galimberti (EPFL student) recently implemented a prototype of the Javari [1] system as a Scala compiler plugin.

The system not only allows to check whether a class is immutable, it also allows tracking immutable references (aliases) to potentially mutable objects. It guarantees that no state modifications are performed through an immutable reference."

http://permalink.gmane.org/gmane.comp.lang.scala.debate/4352