ty — новый сверхбыстрый type checker для Python от Astral

Анонсирован ty — проверщик типов и языковой сервер, написанный на Rust.

В тестах он в 10–100 раз быстрее аналогов (на реальных проектах — до 600x быстрее Mypy 😳)

Цель —> сделать лучшую цепочку инструментов для статического анализа Python, которая масштабируется на десятки и сотни миллионов строк кода

Сейчас это превью-версия

Но уже работает:

> ty check file.py
> ty server как LSP (VS Code, Neovim и др.)
> MIT-лицензия, можно использовать где угодно: CLI, CI, редакторы, команды

Построен на тех же принципах, что rust-analyzer: инкрементальность, мощная архитектура.

Уже есть поддержка: generics, overloads, protocols и т.д.

Ожидается стабильный релиз позже в этом году

> github.com/astral-sh/ty 💖

👉 @PythonPortal