RustとAdaは一方がCっぽく他方がPacalっぽいことを別にすれば、
似たようなコンセプトを持っているね。
Adaも高い安全性を求められるように設計された。Rustの安全性には劣るけど。