Improvement in pure functions specification

Johan Engelen via Digitalmars-d digitalmars-d at puremagic.com
Wed Dec 21 12:10:19 PST 2016


On Wednesday, 21 December 2016 at 20:04:04 UTC, Johan Engelen 
wrote:
> 
>   "Any `pure` function that is not strongly pure _may not be 
> assumed to be_ memoizable."

That version of mine is also not correct :(

How about: "A strongly pure function can be assumed to be 
memoizable. For a not strongly pure function, well, `pure` does 
not add information regarding memoizability."



More information about the Digitalmars-d mailing list