道具 · TOOL-0177

mypy

型検査・型注釈・診断に使うPython型検査ツールです。

最終確認 2026-10-23VERIFIED_AS_OF
仕様・利用条件は変わることがあります。重要な判断は原典と実際の結果で再確認してください。

基本情報

種別
Python型検査ツール
どこから使うか
CLI

使い始める

公式の配布・利用案内からmypyを用意し、対象環境と利用条件を確認します。

主な能力

  • 型検査
  • 型注釈
  • 診断

必要条件

  • 対象projectと対応する実行環境
  • 設定・検査範囲・依存関係を確認する

向く場面

mypyでPythonの型の不整合を確認するなど、型検査を選択して使いたい場面。

向かない場面

型検査の成功をruntimeの全入力の保証とする用途。

道具一覧へ戻る辞典全体から検索