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
