Expanding the horizons of D purity

Timon Gehr timon.gehr at gmx.ch
Thu Nov 7 09:45:08 PST 2013


On 11/07/2013 06:22 PM, Denis Shelomovskij wrote:
> 01.11.2013 0:05, H. S. Teoh пишет:
>> I'd like to propose extending the scope of weak purity one step further:
>> allow weakly-pure functions to call (not necessarily pure) delegates
>> passed as a parameter.
>
> Unacceptable. It will break strongly purity. Your mistake is strongly
> pure function can easily get an impure delegate:
> ---
> ...

As far as I understood, he proposes to disallow constructing impure 
delegates inside pure functions.



More information about the Digitalmars-d mailing list