Astral анонсировала Beta-релиз ty - новый type чекер и языковой сервер для Python, написанный на Rust. Инструмент уже полностью используется внутри компании и теперь рекомендован для продвинутых и мотивированных пользователей.

По заявлению команды, 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