mypy

MypyはPython向けの静的型チェッカーです。Pythonプログラムに型ヒント（PEP 484）を追加することで、mypyはコードが実行される前に変数や関数の誤った使用を報告します。これは、実行時ではなく静的にプログラムを解析するためです。 READMEに記載されている主な特徴： - 漸進的型付け：型ヒントは少しずつ導入でき、静的型付けが不便な箇所では常に動的型付けにフォールバックできます。型ヒントはプログラムの実行方法を変えません。 - 型システムの機能：型推論、ジェネリクス、呼び出し可能型、タプル型、ユニオン型、構造的部分型付け。 - pip（`python3 -m pip install -U mypy`）またはリポジトリから直接インストールできます。 - コマンドラインでの使用法：`mypy PROGRAM`で型チェックを実行し、`dmypy run -- PROGRAM`でデーモンモードを利用できます。デーモンモードは大規模なコードベースでより高速な増分更新を提供します。 - mypyを試せるオンラインプレイグラウンドがあります。 - エディタおよびツールとの統合：VS Code、Vim（Syntastic、ALE）、Emacs（Flycheck）、Sublime Text、PyCharm、IDLE、pre-commit。 - ドキュメント、型ヒントのチートシート、入門ガイド、エラーコードの一覧が提供されています。 - Mypycは型ヒントを使ってPythonモジュールをC拡張にコンパイルします。mypy自体がmypycでコンパイルされており、READMEによればインタプリタ実行よりも約4倍高速になります。`--no-binary mypy`を使えばインタプリタ版のインストールも可能です。 このプロジェクトはテスト、開発、ドキュメントなど様々な分野での貢献を歓迎しており、あらゆる経験レベルの貢献者向けのタスクがあります。