[pyre]

If explicit is always better than implicit, why is Python dynamically typed?

[lmm]

Because at the time it was originally written, it seemed impossible to write a statically typed language that was beautiful, or even readable.

This has now proven to be false, and python is starting to add optional type annotations. It's not practical to introduce static typing more quickly - it would break too many existing programs.