Es bastante similar a C++. Resuelve muchos de los problemas que programadores podrían tener rollo punteros, herencias, etc al programar en otros lenguajes. Normalmente en ls industria cuya prioridad es la seguridad de las aplicaciones (imagínate una aplicación que controle lanzamientos de misiles xD) se suelen utilizar lenguajes como ADA con un tipado fuerte.

Lee este artículo:
https://users.rust-lang.org/t/if-ada-is-already-very-safe-why-rust/21911