По заявлению команды, ty в 10–100 раз быстрее существующих Python-type чекеров и LSP. Ключевая причина » архитектура, изначально спроектированная под инкрементальные обновления и работу в редакторе или долгоживущих процессах.
На практике это выглядит так: при редактировании критичного файла в крупном проекте вроде PyTorch ty способен пересчитать диагностику для всего проекта за несколько миллисекунд, а не только для изменённого файла.
Цель ty » не просто скорость. Проект нацелен на создание более качественного type чекера, который сочетает строгую корректность с фокусом на пользовательский опыт. Для этого ty развивает Python type checking дальше текущего состояния экосистемы и уже поддерживает:
- типы пересечений первого класса (intersection types),
- продвинутое сужение типов,
- анализ достижимости кода.
Отдельное внимание уделено диагностике. Система сообщений об ошибках вдохновлена компилятором Rust: одна диагностика ty может использовать контекст сразу из нескольких файлов и объяснять не только саму ошибку, но и её причину и возможный способ исправления.
ty разрабатывается основной командой Astral и десятками контрибьюторов под лицензией MIT. Инструмент доступен везде, где пишут Python, включая редакторы с LSP. Установка:
uv tool install ty@latest
Также доступно расширение для VS Code, Cursor и совместимых редакторов.
Следующая цель » Stable-релиз в 2026 году. Переход от Beta к Stable будет сосредоточен на:
- стабильности и исправлении багов
- полной реализации Python typing spec
- поддержке популярных сторонних библиотек
В долгосрочной перспективе ty станет фундаментом для семантических возможностей всего Astral набора инструментов: удаления мёртвого кода, поиска неиспользуемых зависимостей, контроля SemVer-совместимых апдейтов, анализа достижимости CVE, type-aware линтинга и других функций.
Astral заявляет цель сделать Python самой продуктивной средой разработки и подчёркивает, что, как и в проектах Ruff и uv, ty будет активно улучшаться еженедельно в тесном взаимодействии с сообществом.
Проект называют самым технически сложным в истории команды. В разработке участвовали контрибьюторы, сообщество Python typing, а также команды Salsa и Elixir, чьи идеи повлияли на реализацию gradual types и intersection types.
Источник: astral.sh/blog/ty
👉 @PythonPortal