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