Mypy is shit, but Pyright is actually very good so you can write Python with a pretty good static type experience. Almost on par with Typescript.

The problem is you will spend your whole life unsuccessfully trying to get your lazy colleagues to actually use them.