Agree 100 percent. In my 30+ years as a software engineer, I've written tons of code in a dozen different languages. Type-related errors have been quite rare. And make no mistake, my code has had tons of bugs (much to my shame).

That's why I don't obsess over type-checking. My favourite programming language is Smalltalk. It's dynamic, object-oriented, and infinitely flexible. And it's dead easy to learn (you can learn all of its syntax in 7 minutes!).