He says this:<p>&gt; Claim that a boring C compiler can&#x27;t possibly support the desired system _performance_. Even if this were true (which I very much doubt), why would it be more important than system _correctness_?<p>If correctness is more important than performance, C is the wrong language. Consider a language with, at the very least, garbage-collection built into the core, as memory allocation and usage errors are the base of a lot of what goes badly wrong with C programs.<p>In short, his notion of &quot;Boring C&quot; seems to be Haskell or Common Lisp.