[olympus]

> system that is designed to never crash

Oh, they crash. Software on currently fielded jets crash all the time, pilots call them "software anomalies."

Systems are designed to fail softly and reboot quickly (~1 minute) and sometimes do so automatically without physically crashing the jet. Sometimes the pilot won't even notice.

[iyulaev]

sometimes do so automatically without physically crashing the jet

I hope by "sometimes" you mean "almost every time!"

[olympus]

Sorry, bad grammar. I meant that sometimes they reboot automatically. The systems are designed to always reboot without physically crashing the jet, but sometimes the pilot has to command the reboot themselves.

[outworlder]

> Systems are designed to fail softly and reboot quickly (~1 minute) and sometimes do so automatically without physically crashing the jet. Sometimes the pilot won't even notice.

If that's the case, why not use something like Erlang?

[skittles]

Because you don't want to be in a high performance jet when the VM decides to do garbage collection during a critical maneuver.