はじめに Pythonを対象とした静的型チェックツールとしてmypyはよく知られています。静的型チェックを通じてプログラマーはより安全にコードを記述でき、安全にコードが記述できることで最終的にはソフトウェア開発の効率をより高めることができます。もちろ…