C/C++の次のシステム・プログラミング言語

C/C++の次のシステム・プログラミング言語はなんでしょうか。JavaもC#も仮想マシン用という雰囲気ですし、DはイマイチMacでは盛り上がっていません。OCamlやLISPなどの関数型言語は現在のハードウェアをそのままいじるのには向いていない気がします。

C++は現時点で機械語に最も近く最も高級*1な言語だと思っているのですが、C++より高級かつ機械語に近い言語ってあるのでしょうか。

*1:品質が高いという意味ではなく、機械←→人間の連続体の上で人間寄りだ、という意味です。