mypy

This is the diff between the backup and the current copy.

# mypy

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