There is a subset of Ada called Spark that works with mission critical applications. In my view, ada hasa wonderful legency, but there has been a lot of advancement in the theory of programming lanaguages that is not captured in Ada. Rust would be a more modern approach.
You are viewing a single comment's thread from:
I know about Spark but don't know about Rust, I will check this language.
What kind of advancement in theory of programming languages are you refeering to ? I'm not particularly pushing for Ada, but it's a very known language in the industry and has three decades of support and improvements :)