On Sat, 25 May 2013 23:50:28 +0100, Klaim - Joël Lamotte <mjklaim@gmail.com> wrote:
/emphasis/ mine.  Is it actually true that you can "remove" null pointer exceptions at no runtime cost?

It's possible if you remove pointers from the language.
It's possible if you statically require that any pointer/reference is initialised at declaration.

But, is it otherwise possible?  Because both of these options are too restrictive for a systems programming language.