You might be interested to know that Python too is going towards gradual typing, with PEP 484 https://www.python.org/dev/peps/pep-0484/ it's trying to formalize the syntax from MyPy.

I think it will happen since in September at the Python mailing list the Guido found a slew of bugs when using MyPy and started to advocate gradual typing.