To help LDC/GDC

[Dicebot]

On Tuesday, 9 April 2013 at 16:15:38 UTC, Andrei Alexandrescu 
wrote:
>> "weak pure" is useful only to implement "strong pure". "strong 
>> pure" is
>> useful only if it can be statically enforced to provide some 
>> guarantees.
>> "strong pure" is useless because it shares same annotation 
>> with "weak
>> pure".
>
> I think it's a great design, very useful and innovative.

Agree on it being great and innovative. But I fail to see 
usefulness with current design. Can you provide examples how 
current pure design allows for better code / optimizations?