ty

ty é um type checker e language server de alto desempenho para Python, desenvolvido pela Astral, a equipe por trás do uv e do Ruff. Escrito em Rust, oferece velocidades de verificação de tipos de 10x a 100x mais rápidas do que ferramentas consolidadas como mypy e Pyright, conforme demonstrado por benchmarks em projetos grandes como home-assistant/core. Os principais recursos incluem diagnósticos abrangentes com informações contextuais ricas, níveis de regras configuráveis, substituições por arquivo e comentários de supressão. A ferramenta suporta redeclarações e código parcialmente tipado para adoção gradual, tornando-a acessível para projetos com cobertura de tipagem mista. O language server fornece navegação de código, autocompletar, ações de código, importação automática, dicas inline e ajuda ao passar o mouse, com análise incremental refinada para atualizações rápidas durante a edição na IDE. Integrações com editores estão disponíveis para VS Code, PyCharm, Neovim e outros. Os recursos avançados de tipagem incluem tipos de interseção de primeira classe, estreitamento de tipos sofisticado e análise baseada em alcançabilidade. ty suporta oficialmente alvos Python 3.10+, com versões anteriores (3.7-3.9) selecionáveis, mas que podem produzir falsos positivos ou negativos devido a stubs limitados da biblioteca padrão. Atualmente em beta com versão 0.0.x, ty ainda não garante estabilidade de API. O desenvolvimento ocorre no repositório Ruff. O projeto é licenciado sob MIT e pode ser executado rapidamente via uvx ty check ou explorado através do playground online em play.ty.dev.