これはpytypeという名前のLinuxアプリで、最新リリースはpytype2024.10.11sourcecode.zipとしてダウンロードできます。ワークステーション向けの無料ホスティングプロバイダーであるOnWorksでオンラインで実行できます。
OnWorks を使用して、pytype というこのアプリを無料でダウンロードしてオンラインで実行します。
このアプリを実行するには、次の手順に従ってください。
-1。このアプリケーションをPCにダウンロードしました。
--2。ファイルマネージャーhttps://www.onworks.net/myfiles.php?username=XXXXXに必要なユーザー名を入力します。
-3。このアプリケーションをそのようなファイルマネージャにアップロードします。
-4。このWebサイトからOnWorksLinuxオンラインまたはWindowsオンラインエミュレーターまたはMACOSオンラインエミュレーターを起動します。
-5。起動したばかりのOnWorksLinux OSから、必要なユーザー名でファイルマネージャーhttps://www.onworks.net/myfiles.php?username=XXXXXにアクセスします。
-6。アプリケーションをダウンロードし、インストールして実行します。
スクリーンショット：
pytype
説明：
pytype は、Python コードを実行せずに型をチェックおよび推論し、「コンパイル時」にエラーをキャッチして実用的な診断を生成する静的型アナライザーです。Google での Python 型付けと共に成長し、強力な推論により、インライン アノテーションとアノテーションなしのコードの両方を理解できます。このツールは、標準ライブラリとサードパーティ パッケージ (typeshed および独自の組み込み) のスタブ ファイル (.pyi) を使用し、大規模で品質が混在するコードベースでも正確なチェックを可能にします。開発者は pytype をローカルで実行することも、CI に接続して回帰を防ぎ、時間の経過に伴う型の規律の厳格化を追跡することもできます。pytype は型を推論するため、段階的な型付け、実行前の不一致、欠落した属性、または安全でない共用体の検出に役立ちます。ドキュメントとユーザー ガイドでは、構成、サポートされる機能、および推論が最新の Python イディオムとどのように連携するかについて詳しく説明されています。
オプション
- コードを実行せずに静的解析と型推論を行う
- さまざまなアノテーション品質を持つ大規模なコードベースに拡張可能
- 属性エラー、不正なユニオン、互換性のない呼び出しの検出
- CIフレンドリーなエラーレポートと設定ノブ
- Typeshedとプロジェクト固有のスタブとの統合
- インライン注釈と段階的入力のサポート
プログラミング言語
Python
カテゴリー
このアプリケーションは、https://sourceforge.net/projects/pytype.mirror/ からも入手できます。OnWorks でホストされているため、無料のオペレーティングシステムから最も簡単にオンラインで実行できます。