It really takes me back all this discussion of IT and SE. I worked on the "Green" compiler for a short while and it was very clear when DoD selected Green as the official Ada language, everyone from Jean Ichbiah down accepted that Ada needed a lower level tasking mechanism than that provided by Green. It did not happen until 95.
deSitter might realise that the A320 flies with 60 000 lines of code, something that would not even get a "Hello World" working in Windoze
. Small, tight, well tested packages that do a specific task without any excess bloat are the tools that are needed to build ultra-reliable systems. While many could argue with the specification for Airbus' FBW system, few could argue that it does anything other than what the box says (that is good software engineering)