> recalling C++ & Java, not crazy about the idea of going back to having to specify types for everything.

In the dynamically typed languages static types are substituted with tons of trivial (stupidly trivial) tests, which is a way much more lines of code than with just simple type annotations.