Brendan Miller wrote: > This is obviously a problem. Everyone knows that null pointer > exceptions in Java/C#, or segmentation faults in C and C++ are one of > the biggest sources of runtime errors. Yes, but those are neither type safe errors or memory safe errors. A null pointer is neither mistyped nor can it cause memory corruption.