A couple of my college friends use Ada daily and have been working with it for over 15 years now. One of them fell in love with the language when our first ever

A couple of my college friends use Ada daily and have been working with it for over 15 years now. One of them fell in love with the language when our first ever programming course was taught in Ada, presumably to get students with started with a solid base :-) They now work on radar systems at Thales Group. I've read that it's also widely used in aviation, e.g. at Boeing[1] or Airbus. As for general development, from my (albeit limited) experience the type system is a bit heavier than I'd like. It's certainly a great help for highly reliable systems, but most applications probably don't need such a strict language. [1] "The Boeing 777 Flies on 99.9% Ada" http://archive.adaic.com/projects/atwork/boeing.html http://archive.adaic.com/projects/atwork/boeing.html [2] "Airbus chooses AdaCore for autonomous aircraft software testing" https://www.aerospacetestinginternational.com/news/software/airbus-chooses-adacore-for-autonomous-aircraft-software-testing.html https://www.aerospacetestinginternational.com/news/software/...