I think that we need an improved C compiler more than we need new languages. You put it quite eloquently: >Surely it'd be better if these kinds of failures wer

I think that we need an improved C compiler more than we need new languages. You put it quite eloquently: >Surely it'd be better if these kinds of failures were at least interesting rather than an endless parade of careless mistakes that could literally have been caught by trivial automation in the compiler. You're right - they CAN be caught by trivial automation in the compiler, so let's add that.