Ask HN: What's stopping us from having full static validation of Python code?

I have developed two mypy plugins[1][2] for Python to help with static checks.

I was wondering, how far are we with providing such a high level of static checks for interpreted languages that almost all issues can be catch statically? Is there any work on that on any interpreted programming language? What would you like to be statically-checked in Python?

[1] https://github.com/diegojromerolopez/mypy-pure

[2] https://github.com/diegojromerolopez/mypy-raise