4 ms·
> most bugs don’t need to be written if you use Ada properly. I think both Airbus and Boeing have been doing their best to demonstrate the limitations of Ada a
by traceroute66 5y ago
> most bugs don’t need to be written if you use Ada properly.
I think both Airbus and Boeing have been doing their best to demonstrate the limitations of Ada and Spark.
- ajxs 5y agoIronically, you're right. Given the incredibly strict regulatory environment they work within, and the incredibly small margin of error, the fact that two of the biggest manufacturers of commercial aircraft choose to use Ada/Spark speaks volumes.
- msla 5y agoHow many fewer bugs would they have if they used a language with a real type system, like Haskell?