I do recognize that I am on the pretty far end of the spectrum of of static analysis vs dynamic typing. I want the static analyzer to prove as much as it possibly can before letting me run the code. Many people want the exact opposite which is why they choose Python, JavaScript or Ruby.