C以外で書かれたOSが普及しなければC系列が置き換わることはないだろうな
OSは速度が重要だから
動的型とnormal orderの言語も無理だろう

アセンブラなら確かMITあたりで研究されてる型付きアセンブラ
高級言語なら、D言語かOCaml/Concurrent Clean
変わり種だとforthだが
typedなスタック型言語としては、catは本命よりはむしろ萌え
しかし、D言語はまぁC系列みたいなもんだな・・

あれ、これらの言語って型チェックが無駄に厳しいし
そういえばOCamlの行末ってうわなにをする貴s、やめ、ふごが