I 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.