On 2/16/2012 8:51 PM, Timon Gehr wrote:
It makes re-factoring a lot easier which helps maintainability: The programmer can annotate some method with pure, hit compile and he will immediately see all the non-pure overrides if there are any and may fix them.
Exactly.
