sadly ADA never got the kind of love rust does. people say its hard to write code in but I don't see how its worse than rust. Rust just came at a time where the requirements and stakes for writing high performant and correct software became high enough that prioritizing it into the language design became valued. ADA was a little too early for its time.