Memory allocation purity

[Timon Gehr via Digitalmars-d]

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.