mypy
Python
で
静的型チェック
だ！
https://github.com/python/mypy
#技術