A better comparison would probably be Python versus Scala, or Python versus OCaml.
A better comparison would probably be Python versus Scala, or Python versus OCaml.
Type systems can be far more expressive than what is available in Java, and can and should be used to enforce program correctness, reducing the necessity for additional testing.
Type inference, polymorphic typing, structural types -- the available tools in a comprehensive type system are woefully under-explored by most practitioners who consider Java to epitomize type systems.
I can highly recommend:
http://www.xoltar.org/old_site/misc/static_typing_eckel.html...
The article (from 2003!) is an excellent treatise on the value of a proper type system as compared to Python, and moreover, how Java's type system (or C++, ...) should simply not be equated with "static typing".