Weirdly, avionics development seems to be moving away from Ada toward C! I personally think something like OCaml would be a better choice... I think the proble

Weirdly, avionics development seems to be moving away from Ada toward C! I personally think something like OCaml would be a better choice... I think the problem is, there is so much momentum built up around Ada and C usage in the avionics world that there just isn't the infrastructure and culture built up around better languages, so it's hard to make the switch. Even if you have to write a brand new codebase for some small avionics project, how do you justify the expense of doing it all in OCaml when there is already certified compilers and support for Ada? It ought to happen, though.