複数の Python 型チェックツールの共有-Python チュートリアル-php.cn

複数の Python 型チェックツールの共有

不言

リリース： 2019-03-27 09:52:48

転載

1866 人が閲覧しました

この記事では、いくつかの Python 型チェックツールの共有を紹介します。これには一定の参考価値があります。必要な友人は参照できます。お役に立てば幸いです。

最近、Microsoft は Python 静的型チェックツールを Github でオープンソース化しました: pyright これはコミュニティで大きな注目を集めています。

Microsoft のオープンソースプロジェクトへの参加はますます大きくなっています。Github を買収するという大きな戦略的野心は言うまでもなく、そのオープンソース VS Code エディタはすでに猿の世界の無数のファンを魅了しています。Kenneth Reitz さえも、私たちの Python サークルの有名人 (リクエスト、リクエスト-HTML、レスポンダーなどを含む複数のオープンソースプロジェクトの作成者) は、この機能を絶賛しています。

現在オープンソースとなっている Pyright は評判が良いので、その機能を見て、ついでに他のいくつかの型チェックツールを紹介しましょう。

ご存知のとおり、Python は動的に型指定される言語であり、変数の実際の型は実行時までわかりません。これが動的言語の特徴ですが、チームワークや大規模なプロジェクトでは、「 動的言語は一時的には面白いが、再構築は火葬場」という諺があるように、メンテナンスコストは避けられません。。

2006 年の PEP-3107 の時点で、Python には関数アノテーション機能が導入され、最終的にバージョン 3.0 で実装されました。バージョン 3.5 では、Python は引き続き静的型チェック構文 (つまり、PEP-484、型ヒント) を導入しました。 2014 年の PEP-483 では、「タイプヒントの理論」というタイトルで理論的な概要も作成されました。その後、PEP-526、PEP-544が次々に提案され、型チェックの仕様は徐々に充実してきました。

型チェックの利点は、早期にチェックして型エラーを事前に検出し、コードの一貫性と保守性を向上させることです。 (抜け毛予防にもなるにゃ)

# 不加检查
def greeting(name):
    return 'Hello ' + name

# 添加检查
def greeting(name: str) -> str:
    return 'Hello ' + name

ログイン後にコピー

上記の例のように、チェックを追加すると、入力パラメータと戻り値が文字列型であるかどうかをコンパイル時に判断できます。

Microsoft が pyright を開始する前は、公式の mypy、Google の pytype、Facebook の pyre-check という 3 つの主流の静的チェックツールがありました。二人三脚の状況が崩れようとしている。

複数の Python 型チェックツールの共有

#pyright のドキュメントには、次の特徴があると記載されています:

高速。 mypy や Python で書かれた他のチェックツールと比較すると、5 倍以上高速です。
Python環境に依存しません。これは TypeScript で書かれており、ノード上で実行され、Python 環境やサードパーティのパッケージに依存しません。
高度な構成が可能。無料の構成をサポートし、さまざまな実行環境 (PYTHONPATH 設定、Python バージョン、プラットフォームターゲット) の指定をサポートします。
チェック項目が完了しました。型チェックと他の構文項目 (PEP-484、PEP-526、PEP-544 など) のチェックに加え、関数の戻り値、クラス変数、グローバル変数、さらには条件付きループステートメントのチェックもサポート
コマンドラインツール。これには、コマンドラインツールと言語サーバープロトコル
組み込みスタブという 2 つの VS Code プラグインが含まれています。 Typeshed のコピーが使用されます。 (注: 組み込みモジュール、標準ライブラリ、サードパーティコンポーネントを確認するには、静的 pyi ファイルを使用してください)
言語サービス機能。ホバープロンプト情報、シンボル定義ジャンプ、およびリアルタイム編集フィードバック

この点では、強力ではありません。実際、著作権は「巨人の肩の上に立っており」、その機能は他のいくつかの先人から受け継がれているようです。

「Python の父」Guido van Rossum が個人的に開発した公式の mypy を見てみましょう。これが最も主流の選択肢です。早期にリリースされ、大規模なユーザーベースがあり、最も豊富なドキュメントとコミュニティの経験。

統合 IDE に関しては、すべての主流エディタがサポートしています: PyCharm、Vim、Emacs、Sublime Text、VS Code、Atom... 業界経験の観点から言えば、Instagram と Dropbox のプロジェクトは py2 から始まりました py3 への移行は保証として使用するためです。

次に、Google の pytype を見てみましょう。ドキュメントによると、次のことが可能です:

スペルエラーや関数呼び出しエラーなどの一般的なエラーをマークする
カスタムタイプを強化するアノテーション
Supports generated type annotations for pyi files

ドキュメントを見ると、「エラーノイズリダクション」という非常に使いやすい機能があることがわかりました。 " 、変更する必要のないエラーについては、コメントを追加して型チェックを省略できます。

さらに、別の良い考慮事項があります。型チェックを記述するために、他のモジュールがモジュールに導入される可能性があります。後者の場合、pytype にはそれを非表示にし、型チェックを行うときにのみロードする方法があります。。

最後に、Facebook の pyre-check を紹介したいと思います。これは、昨年オープンソース化され、多くの賞賛を受けました (おそらく、Microsoft が著作権プロジェクトを開始したのは、それがあったからでしょう)。

基本的な機能は似ていますが、ハイライトもあります。 pyre-check は Watchman モジュールを統合でき、この「ウォッチャー」はコードファイルを監視し、加えられた変更を追跡します。 Microsoft の pright には監視モードがあり、これを吸収して使いやすくしたはずです (Watchman やその他の依存関係を追加でインストールする必要がないため)。

Pyre-check にもハイライトがあり、特定の行の式の型をクエリしたり、クラスのすべてのメソッドをクエリして結果を返したりするなど、ソースコードに対してローカルおよび地域のチェックを実行できるクエリパラメータがあります。これにより、包括的な検査が不要になります。

4 つの型チェックツールを紹介した後、概要を比較します。

複数の Python 型チェックツールの共有