開発環境 mypy on Ubuntu — Python静的型チェックの導入とCI組み込み Pythonのバグを実行前に潰したい。そう思ったときに最初に入れるべきツールが mypy です。型ヒント(int/str/Optional など)をもとに「実行しなくても確実におかしい箇所」を指摘してくれます。Ubuntu 24.04 での… 2026.07.23 開発環境