[JUsr]

Correct me if I'm mistaken, but the avionics software would probably be written in C or Assembler.

Neither of those have SloppyDevTypeCheckComfortBlankie either, do they?

[larry_pi]

Sloppy dev is a sloppy dev - whichever the language: http://www.safetyresearch.net/blog/articles/toyota-unintende...

[Kristine1975]

I'm hoping for SPARK Ada or something similar: https://en.wikipedia.org/wiki/SPARK_(programming_language)

[smt88]

I cannot tell you how much I love SloppyDevTypeCheckComfortBlankie, how much time/money it has saved my company (converting all our JavaScript to TypeScript), and how funny it is that some people take pride in writing code that isn't typed.