Linuxカーネルの冗長性

凄く重要な考え方な気がするのでメモ。

おそらく冗長な情報が多すぎるのではないか。現在のプログラミングの有り様の限界のせいで。外部仕様としてカーネルがどんな事をするかを我々が理解できるということは、ようするにカーネルを記述する情報量が意外と少ないことを意味する。

http://homepage3.nifty.com/mogami/diary/d0706.html#221

ただ、ハードウェア差違の吸収の為に肥大化してる可能性もありそう。
C言語では記述密度が低いのは事実で、C言語の代替えとなるようなRubyっぽい言語があれば記述量を圧縮できるのかな。