型チェックしたい(mypy

$ mypy --version
mypy 1.11.2 (compiled: yes)

$ mypy --ignore-missing-imports ファイル名 or ディレクトリ名

インストールしたい(mypy

  • pipxでインストール

$ pipx install mypy
  • poetryでインストール

$ poetry add mypy --group test
  • uvでインストール

$ uv tool install mypy

py.typedしたい

py.typedは配布したパッケージが型対応していることを示すためのファイルです。 自作パッケージの場合__init__.pyと同じ階層に空ファイルとして作成します。

PEP561で定義されていて、mypypyrightなどの型チェッカーが、パッケージの型を正しく認識できるようになります。

注釈

パッケージの一部が型対応している場合は py.typedの中身にpartialと書いておきます。

リファレンス