On 05/15/2014 11:45 AM, Don wrote:
"No global state" is a deep, transitive property of a function. "Memoizable" is a superficial supersetextra
Why? A memoizable function is still memoizable if it is changed internally to memoize values in global memory, for example.
property which the compiler can trivially determine from @noglobal.