I think it's high time to bury the myth of the "bondage and discipline language". Study after study has shown that, comparing development of the same applicati

I think it's high time to bury the myth of the "bondage and discipline language". Study after study has shown that, comparing development of the same application in C vs. a language with a very strong type system such as Ada, the application in the language with the very strong type system costs less to develop and has far fewer errors. The fact that C "gets out of your hair", i.e., doesn't provide checking for certain kinds of correctness, is an anti-feature.