Populares: Datos actualizados el 27 de octubre de 2026

Categorías

Internet1356
Comunicación321
Audio y vídeo898
Gráficos y diseño539
Ofimática y productividad1124
Programación3134
Inteligencia artificial529
Seguridad y privacidad385
Herramientas del sistema3114
Juegos523
Educación y ciencia239
Redes e informática284

Descargar ty 0.0.79 para Windows

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

Esta es una versión anterior. La versión actual es 0.0.87. ty 0.0.87 · Fecha de publicación:

Archivos de instalación 0.0.79

ArquitecturaTipoÁmbitoTamaño del archivoDescargarSHA256
64 bits ZIP → Portable — — github.com VirusTotal
ARM64 ZIP → Portable — — github.com VirusTotal
32 bits ZIP → Portable — — github.com VirusTotal

El enlace y el SHA256 proceden del manifiesto comunitario del Administrador de paquetes de Windows. Conviene comparar el hash del archivo descargado antes de ejecutarlo.

Notas de la versión

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

Lo más popular en Lenguajes y SDK

Ver todo
  1. LLVMLenguajes y SDK · LLVM
  2. DenoLenguajes y SDK · Deno Land Inc.
  3. CMakeLenguajes y SDK · Kitware
  4. YarnLenguajes y SDK · Yarn Contributors
  5. CcacheLenguajes y SDK · Joel Rosdahl
  6. sbtLenguajes y SDK · Lightbend, Inc.
  7. BOINCLenguajes y SDK · Space Sciences Laboratory, U.C. Berkeley
  8. Dart SDKLenguajes y SDK · Google
  9. NVM for WindowsLenguajes y SDK · Ecor Ventures LLC

Más programas de Astral Software Inc.

Ver todo
  • uvGestores de paquetes y actualizadores · Astral Software Inc.

Etiquetas

Compartir