Ada has been used a great deal in the past for military applications, including flight control software for military planes. One of the real advantages of Ada i

Ada has been used a great deal in the past for military applications, including flight control software for military planes. One of the real advantages of Ada is that there are a number of tools designed to make sure that Ada programs are about as safe as it is possible to make software. I can't help wondering if some of the problems the F-35 is having is because its software development is being done mostly in C++ and C. Unfortunately, I would be really surprised if there is an Ada toolchain that can produce code for a microcontroller like the ESP8266.