Beliebt: Daten aktualisiert am 10. November 2026

Kategorien

Internet1.380
Kommunikation324
Audio & Video915
Grafik & Design554
Büro & Produktivität1.139
Entwicklertools3.194
KI-Tools559
Sicherheit & Datenschutz396
Systemtools3.164
Spiele534
Bildung & Wissenschaft240
Netzwerk & IT290

ty 0.0.79 herunterladen

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

Dies ist eine ältere Version. Aktuell ist Version 0.0.98. ty 0.0.98 · Veröffentlicht:

Installationsdateien 0.0.79

ArchitekturTypBereichDateigrößeDownloadSHA256
64-Bit ZIP → Portabel — — github.com VirusTotal
ARM64 ZIP → Portabel — — github.com VirusTotal
32-Bit ZIP → Portabel — — github.com VirusTotal

Link und SHA256 stammen aus dem Community-Manifest des Windows-Paket-Managers. Vergleichen Sie den Hash der heruntergeladenen Datei, bevor Sie sie ausführen.

Versionshinweise

Bug fixes
- Avoid dict keyword-call panics when typing is shadowed (#28292)
- Discover configs in models derived from legacy generic classes (#28397)
- Normalize recursive collection-use constraints (#28332)
- Recover cycles when constructing known class instances (#28289)

CLI
- Embed archive checksums in the shell installer (#4458)

Diagnostic improvements
- Add Literal fixes for diagnostics flagging invalid type annotations (#28185)
- Add await fixes for redundant conditions (#28169)
- Add assert_never fixes for redundant final elif branches (#28178)
- Add defensive assertion fallback for redundant elif fixes (#28179)
- Add rules to detect always-truthy and always-falsy conditions (#28034)
- Preserve deprecations on decorated callables (#28256)
- Require a direct dependency for reveal_type backport fixes (#28177)
- Suggest variable-length tuple annotations for redundant conditions (#28168)

Core type checking
- Align TypeIs and isinstance narrowing (#28193)
- Avoid falling back to Unknown when collecting type context constraints (#28297)
- Ensure f is identity(f) evaluates to Literal[True] (#28360)
- Fix callable specialization with union-valued ParamSpec (#28085)
- Infer variance through recursive protocols (#28077)
- Narrow types with ordered length comparisons (#28264)
- Preserve gradual type context during generic call inference (#28091)
- Preserve nominal subtyping for top-materialized protocols (#28271)
- Preserve outer type variables during ParamSpec inference (#28306)
- Preserve protocol intersections when narrowing gradual types (#28391)
- Promote literals in nested (non-covariant) positions (#28389)
- Reject missing attributes on type[] aliases (#28267)
- Solve formal unions using constraint-sets (#28312)
- Sync vendored typeshed stubs (#28331). Typeshed diff

Performance
- Avoid unnecessary work when building specializations (#28369)
- Bypass materialization queries for simple types (#28367)
- Cache exception suppression for context managers (#28376)
- Intern statement call predicates (#28373)
- Lazily compute argument-context specializations (#28378)
- Pre-size packed AST index chunks (#28372)
- Reduce repeated work in use-def merges (#28365)
- Skip decorator flags query for undecorated methods (#28338)

Memory usage improvements
- Avoid caching simple type specializations (#28333)
- Box cached MRO error details (#28351)
- Reuse generic aliases as MRO query keys (#28350)
- Reuse interned bound method signatures (#28346)
- Reuse stored function signatures without caching duplicates (#28347)
- Share retained use-def tables across scopes (#28313)
- Store single narrowing operations inline (#28345)
- Store uncommon signature metadata out of line (#28339)

Other changes
- Declare support for Python 3.15 (#4476)

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

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

Am beliebtesten in Programmiersprachen & SDKs

Alle anzeigen
  1. Go Programming LanguageProgrammiersprachen & SDKs
  2. LLVMDas LLVM-Projekt ist eine Sammlung von modularen, wiederverwendbaren Compiler-Toolchain-Technologien.
  3. DenoProgrammiersprachen & SDKs · Deno Land Inc.
  4. CMakeProgrammiersprachen & SDKs · Kitware
  5. YarnProgrammiersprachen & SDKs · Yarn Contributors
  6. CcacheProgrammiersprachen & SDKs · Joel Rosdahl
  7. sbtProgrammiersprachen & SDKs · Lightbend, Inc.
  8. BOINCProgrammiersprachen & SDKs · Space Sciences Laboratory, U.C. Berkeley
  9. Dart SDKProgrammiersprachen & SDKs · Google
  10. TelegrafProgrammiersprachen & SDKs · InfluxData Inc.

Mehr von Astral Software Inc.

Alle anzeigen
  • uvPaketmanager & Updater · Astral Software Inc.

Schlagwörter

Teilen