人気: データ更新日:2026年11月14日

カテゴリ

インターネット1,413
コミュニケーション327
音楽・動画935
画像・デザイン562
オフィス・仕事効率化1,175
開発ツール3,276
AIツール605
セキュリティ・プライバシー407
システムツール3,182
ゲーム544
教育・科学241
ネットワーク・IT管理293

ty 0.0.91のダウンロード

An extremely fast Python type checker and language server, written in Rust.

これは旧バージョンです。最新版は0.0.98です。 ty 0.0.98 · リリース日:

インストーラーファイル 0.0.91

アーキテクチャ種類インストール範囲ファイルサイズダウンロードSHA256
64ビット ZIP → ポータブル — — github.com VirusTotal
ARM64 ZIP → ポータブル — — github.com VirusTotal
32ビット ZIP → ポータブル — — github.com VirusTotal

リンクとSHA256はWindows Package Managerのコミュニティマニフェストから取得しています。実行する前に、ダウンロードしたファイルのハッシュを照合してください。

リリースノート

Bug fixes
- Improve generics solving when an intersection is passed into a generic call to prefer solving the call to a more precise type when it is safe to do so (#29578)
- Fix recursive type materialization (#29532)
- Infer return intersections from correlated call specializations (#28303)
- Preserve Self when checking universal protocols (#29207)
- Fix stack overflows involving recursive descriptor setter types (#29148)
- Preserve the namespace-package fallback in module discovery when the namespace-package fallback is obscured by a partial stub package (#29559)
- Report all missing @override decorators together (#29557)
- Fix false-positive invalid-argument-type diagnostics when inferring constrained type variables from callbacks that return an invariant generic with a gradual type argument (#29577)

Performance improvements
- Compare protocol receiver restrictions before binding (#29443)

LSP server
- Avoid cancelling requests for unrelated file changes (#29604)

Core type checking
- Generics solving: check for unsatisfiable bodies before existentially quantifying (#29504)
- Liskov diagnostics: Check inherited attribute conflicts (#28559)
- Return type inference: eneralize nested types in inferred return types (#29488)

Contributors
- @charliermarsh
- @sharkdp
- @dhruvmanila
- @carljm
- @MichaReiser
- @dcreager

https://github.com/astral-sh/ty/releases/tag/0.0.91

プログラミング言語・SDKで最も人気

すべて表示
  1. Go Programming Languageプログラミング言語・SDK
  2. LLVMプログラミング言語・SDK · LLVM
  3. Denoプログラミング言語・SDK · Deno Land Inc.
  4. CMakeプログラミング言語・SDK · Kitware
  5. Yarnプログラミング言語・SDK · Yarn Contributors
  6. pnpmプログラミング言語・SDK · pnpm
  7. Ccacheプログラミング言語・SDK · Joel Rosdahl
  8. sbtプログラミング言語・SDK · Lightbend, Inc.
  9. BOINCプログラミング言語・SDK · Space Sciences Laboratory, U.C. Berkeley
  10. Dart SDKプログラミング言語・SDK · Google

Astral Software Inc.のほかのソフト

すべて表示
  • uvパッケージ管理・アップデーター · Astral Software Inc.

タグ

共有