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.