Astral on SoloSoft

Ty: El Verificador de Tipos Python Ultrarrápido de Astral Escrito en Rust

Fri, 01 May 2026 00:00:00 +0000

El ecosistema de verificación de tipos de Python ha estado dominado durante mucho tiempo por mypy – el verificador de tipos original que pionero la tipificación gradual para Python. Pero la implementación basada en Python de mypy siempre ha tenido dificultades con el rendimiento en bases de código grandes. Ty es la respuesta de Astral a este problema: un verificador de tipos Python y servidor de lenguaje escrito completamente en Rust, diseñado para ser de 10 a 60 veces más rápido que las alternativas existentes.

Astral, la empresa detrás del increíblemente popular linter Ruff, ha aplicado la misma filosofía de rendimiento impulsada por Rust a la verificación de tipos. Ty se basa en la profunda experiencia de Astral con herramientas Python en Rust, aprovechando la misma arquitectura multiproceso y patrones de cómputo incremental que hicieron de Ruff el estándar de la industria para el linting de Python.

uv: El Gestor de Paquetes y Proyectos Python Todo-en-Uno de Astral

Fri, 01 May 2026 00:00:00 +0000

El ecosistema de empaquetado de Python ha estado fragmentado durante mucho tiempo entre múltiples herramientas. ¿Necesita instalar paquetes? Use pip. ¿Necesita entornos aislados? Use venv o virtualenv. ¿Necesita gestión de dependencias? Use Poetry o Pipenv. ¿Necesita diferentes versiones de Python? Use pyenv. ¿Necesita instalar herramientas CLI? Use pipx. uv colapsa toda esta cadena de herramientas en un único binario Rust ultrarrápido que maneja cada flujo de trabajo de empaquetado de Python.

Creado por Astral – el mismo equipo detrás del linter Ruff y el verificador de tipos Ty – uv representa la culminación de su visión para una cadena de herramientas Python unificada. Escrito en Rust y diseñado para la velocidad, uv reemplaza la funcionalidad de pip, pipx, poetry, pyenv y virtualenv con una única interfaz de línea de comandos coherente que funciona de 10 a 100 veces más rápido que las herramientas que reemplaza.