I totally acknowledge that there are pros and cons for both dynamically and statically typed languages. (We could start a 10 page discussion here. But I've been there before, perhaps you have too, how about we save our energy? ;)

For the latest and greatest 10 pages about that; just search for the the Hickey 10 year Clojure (rant-ish in places) talk and the Haskell community responding to it.

OK! :)

Well done for gracefully and thoroughly responding to the usual HN barrage of technical critiques.

Thank you:) Even if there's hype and critique, we can always rise above and maintain our integrity as we build things that matter.

Python has optional typing support in the standard library since version 3.5. Granted, not type _checking_, but that is offloaded to external tools like mypy[0].

I feel that gradual typing offers the best of both worlds: rapid prototyping, but also the strictness of types where you need it.

0: http://mypy-lang.org/

Good point! I think the Python folks made a great design choice there. I updated my comment above to help future readers.