Re: Observational purity

[Walter Bright]

On 8/31/2011 7:55 AM, Marco Leise wrote:

Admittedly it is
possible for a language/compiler to disallow unsafe pointer operations, but not
keep you from reading your log files back in.

But that's purity by convention, not by static checking.