I recommend using mypy for python, type safe python has came a long way. The type annotation syntax has been in the language spec for years