ty

ty es un verificador de tipos y servidor de lenguaje de alto rendimiento para Python, desarrollado por Astral, el equipo detrás de uv y Ruff. Escrito en Rust, ofrece velocidades de verificación de tipos de 10 a 100 veces más rápidas que herramientas establecidas como mypy y Pyright, como lo demuestran los puntos de referencia en proyectos grandes como home-assistant/core. Sus capacidades clave incluyen diagnósticos completos con información contextual rica, niveles de reglas configurables, anulaciones por archivo y comentarios de supresión. La herramienta admite redeclaraciones y código parcialmente tipado para una adopción gradual, lo que la hace accesible para proyectos con cobertura de tipado mixta. El servidor de lenguaje proporciona navegación de código, autocompletado, acciones de código, autoimportación, sugerencias integradas y ayuda al pasar el cursor, con análisis incremental de grano fino para actualizaciones rápidas durante la edición en el IDE. Las integraciones con editores están disponibles para VS Code, PyCharm, Neovim y otros. Las características avanzadas de tipado incluyen tipos de intersección de primera clase, estrechamiento de tipos sofisticado y análisis basado en alcanzabilidad. ty admite oficialmente objetivos de Python 3.10+, con versiones anteriores (3.7-3.9) seleccionables, pero que pueden producir falsos positivos o negativos debido a stubs limitados de la biblioteca estándar. Actualmente en beta con versiones 0.0.x, ty aún no garantiza estabilidad de API. El desarrollo ocurre en el repositorio de Ruff. El proyecto está licenciado bajo MIT y se puede ejecutar rápidamente mediante uvx ty check o explorarse a través del playground en línea en play.ty.dev.