On 4/2/18 4:04 AM, Shachar Shemesh wrote:
On 02/04/18 10:45, Jonathan M Davis wrote:
Honestly, I think at this point pure is easier to understand if you
think of
it as @noglobal and don't think about functional purity at all.
That's fine. My point was that the only optimizations possible are
possible on strictly pure functions (the immutable cast one included).
Weakly pure functions add nothing.
But merely having them around means that when I annotate a function with
"pure", I do not promise any guarantees that the compiler can actually
use to perform optimizations.
Shachar
This is a good article motivating the relaxed purity model we have:
http://klickverbot.at/blog/2012/05/purity-in-d/