Memory allocation purity

[bearophile via Digitalmars-d]

David Nadlinger:

> I'd suspect that it is enough to disallow using the content of 
> pointers explicitly, i.e. as a sequence of bytes instead of 
> just a handle to an object.

Yes, if you allow only a referentially pure view of pointers, 
then you have a strong purity.

Bye,
bearophile