Typescript and Python actually have very similar typing models already. Given you run it through mypy or pyright of course.

Anything in particular you were thinking about missing?