[kensai]

However, even if Ada is amazing and very secure, it could not help avoid at least one airspace disaster, ain't so? https://en.wikipedia.org/wiki/Ariane_flight_V88

[pedro_caetano]

That is a strange claim, the Ariane accident was a Systems and really a Requirements flaw.

Arguably with that spec the same could have happened if they used punched cards or Haskell instead of Ada.