[lofties]

Personally, I would absolutely not mind it if Python made type annotations required.

[maleldil]

I use pyright with typeCheckingMode: strict and enforce that via checks in CI. You still have the Any/type: ignore escape hatches when necessary. I haven't written fully dynamic Python in years.