mypy
https://github.com/python/mypy
reference.icon
mypyで静的型チェックを導入する - け日記
reference.icon
2021年版Pythonの型ヒントの書き方 (for Python 3.9) | フューチャー技術ブログ