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
Arguably with that spec the same could have happened if they used punched cards or Haskell instead of Ada.