4 ms·
Ironically, you're right. Given the incredibly strict regulatory environment they work within, and the incredibly small margin of error, the fact that two of th
by ajxs 5y ago
Ironically, 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?