人気: データ更新日:2026年10月27日

カテゴリ

インターネット1,356
コミュニケーション321
音楽・動画898
画像・デザイン539
オフィス・仕事効率化1,124
開発ツール3,134
AIツール529
セキュリティ・プライバシー385
システムツール3,114
ゲーム523
教育・科学239
ネットワーク・IT管理284

ty 0.0.78のダウンロード

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

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

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

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

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

リリースノート

Bug fixes
- Defer decorator-call diagnostics to avoid recursive-default cycles (#28226)
- Make cyclic intersection simplification deterministic (#28156)
- Stabilize cyclic terminal-call reachability (#28216)

Preview features
- Refresh uv workspace metadata when dependencies change (#28224)

Diagnostics
- Add a new disjoint-cast rule (#28129)
- Report deprecated property accessors on intersections (#28250)
- Report deprecations for implicit constructor calls (#28251)
- Report deprecations for overloads, operators, and properties (#28134)
- Respect overload selection in deprecation diagnostics (#28148)

Core type checking
- Fix negative narrowing for protocols with gradual members (#28198)
- Preserve ParamSpec bindings inferred against type context (#28084)
- Preserve generic protocol materialization relations (#28246)
- Preserve uncertain branches during quantification (#28211)
- Respect type variables in top/bottom materializations of invariant generics (#28072)
- Sync vendored typeshed stubs (#28217). Typeshed diff
- Treat captured bound-method receivers covariantly (#28180)
- Unsound intersection simplification for generic iterables (#28068)
- Validate type variable scopes in constructors and aliases (#28130)
- lambda functions are always truthy (#28254)

Performance
- Optimize materialized recursive protocol comparisons (#28079)
- Optimize recursive protocol checks for nested type variables (#28257)

Contributors
- @charliermarsh
- @sharkdp
- @zsol
- @AlexWaygood
- @ibraheemdev
- @carljm

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

プログラミング言語・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. Ccacheプログラミング言語・SDK · Joel Rosdahl
  7. sbtプログラミング言語・SDK · Lightbend, Inc.
  8. BOINCプログラミング言語・SDK · Space Sciences Laboratory, U.C. Berkeley
  9. Dart SDKプログラミング言語・SDK · Google
  10. NVM for Windowsプログラミング言語・SDK · Ecor Ventures LLC

Astral Software Inc.のほかのソフト

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

タグ

共有