To help LDC/GDC

[Dicebot]

On Wednesday, 10 April 2013 at 01:37:35 UTC, deadalnix wrote:
>> 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?
>
> Strongly pure functions can call weakly pure function while 
> keeping its properties.
>
> So it loosen the constraint on strongly pure function while 
> keeping the benefit.

It does not answer my question. Why "pure" keyword is useful in D 
if it does not guarantee that compiler will verify functional 
purity of you code and does not guarantee relevant optimizations?

Beauty of concept is useless without practical application.