4 ms·
The type of bug (and related failure modes) is important though. Would you willingly board a plane if the avionics software and firmware had been written in a d
by Reelin 7y ago
The type of bug (and related failure modes) is important though. Would you willingly board a plane if the avionics software and firmware had been written in a dynamically typed language?
Alternatively, usage of Rust may not be correlated with fewer bugs overall but I'd expect there to be fewer of the use-after-free variety.
- erokar 7y agoI would prefer it to be written in something like Ada or Haskell, but I'd rather board a plane with avionics software written in Python than in Java. I actually heard Aribus software is written in C++. If true it should scare the shit out of anyone.
- ksec 7y agoI am seeing Ada poping up a lot more lately, is Ada still being used?
- detaro 7y agoAs someone who enjoys Python quite a bit, I think Java has a lot of options that would be really important there that Python is lacking, like real-time support, and Python no real benefit.
- weberc2 7y agoSpace shuttle software is written in C, and lots of critical software is written in C++. Discipline, standards, and experience go a long way. Static verification is also nice.