mypy

mypyはPython用の後付けの型付け体系である。 Pythonは型無し言語だが、mypyという外部ツールを使うことにより、ある程度までだが、型有り言語の恩恵を得られる、というもの。 公式サイトは https://mypy-lang.org/ のようだ。