ここで批判的に書かれているのはCではなくC++だよ。
たとえOCamlでOSが書けなくても、OSはCで書きゃいい、って返されて終わり。

C++批判の多くは「Cと○○があればC++なんか要らん」という形態を取っているから、
そこで「じゃあ○○で××（Cで書けばいいようなもの）を書いてみろ」を反論するのは
効果的ではない・・・というか空回り。
「言語なんて○○ひとつあれば十分」みたいな意見に対してはその反論でいいけど、
これはあまり居ないんだ。