まあたしかに関数型言語とか面白いとは思う・・けど・・

OS作るなんて大げさな話じゃなくてもさあ、低水準の入出力とかドライバとか
割り込みとかリアルタイム処理とかマルチスレッドとか並列処理とか
骨っぽいところは全部Cに任せて、おいしいロジック部分だけきれいに書いて
あとはOpenGLをラップしたライブラリでも呼んだデモ見せて「どーです、C++なんかと
変わらないスピードでこんなことまでできるんですよ♪」みたいなの多いよね。
（いや、OCamlはその点どうなのかは知らないけどｗ）

そんなんだったら俺はいらないな。全部CかC++で書いたほうがまだまし。
C++に取って代わる言語は、もっと整理された美しいものであるべきだろうけど
同時にCの切れ味も失ってほしくはないなー。