Earlier quoted context omitted.
Yes, I've started using python again with mypy static typing. I can hardly still call it a "dynamically" typed language if I do that, though.
The type hints are still just type hints, and have no influence on run time. This can still lead to plenty of scenarios not possible with a compiler.
Then again, I am a fastidious about adding type annotations to my codebase.