うむり、実用言語では現時点で安全性とスピードを高い次元で両立できてるのはRustだけかもね。
関数型言語にも良いのあるけど、普及しなさそうだしね…。
（OCamlとか次世代HaskellらしいIdrisとか）

それにCとアセンブラしかない分野（C++不可なくらい低スペックな組み込み）でC++以降のモダンな言語が使えるのは大きい。