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

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

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.