Consider, in the Ariane Rocket incident, they were using a dependently typed language. Didn't magically prevent errors in assembly. Since when is Ada a

Consider, in the Ariane Rocket incident, they were using a dependently typed language. Didn't magically prevent errors in assembly. Since when is Ada a dependently typed language? The actual code that caused the overflow can be read here[^1] and the report on the overflow can be read here[^2]. [^1]: http://en.wikipedia.org/wiki/Cluster_%28spacecraft%29#Arithmetic_overflow http://en.wikipedia.org/wiki/Cluster_%28spacecraft%29#Arithm... [^2]: http://sunnyday.mit.edu/nasa-class/Ariane5-report.html http://sunnyday.mit.edu/nasa-class/Ariane5-report.html