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.