Статический анализатор типов Python по стандартам языка, доступный как CLI-инструмент и расширение для Visual Studio Code; подходит для крупных кодовых баз.
Pyright — статический анализатор типов для Python: он проверяет исходный код без запуска и выявляет ошибки типизации в соответствии со стандартами Python. Он рассчитан на высокую производительность и работу с крупными кодовыми базами на Python.
Pyright доступен как CLI-инструмент и расширение для Visual Studio Code. В проект также входит Pyright Playground в браузере для проверки фрагментов кода. Кроме того, каждую неделю публикуется бенчмарк, сравнивающий Pyright с другими анализаторами типов Python, а также история релизов с данными о времени выполнения для каждого пакета и пиковом потреблении памяти.
Если системная временная директория отсутствует или доступна только для чтения, например в некоторых удалённых или серверных средах, корневую директорию для временных файлов можно задать через переменную окружения PYRIGHT_TMPDIR.
Описание создано ИИ на основе README проекта. Статистика GitHub обновляется ежедневно.
Чисто Python-средство проверки типов во время выполнения, которое с минимальными накладными расходами проверяет соответствие аннотациям типов PEP для функций, классов и переменных.
Проверка типов Python во время выполнения: проверяет аннотации PEP 484 у функций, произвольных объектов и локальных переменных.
Инструменты для Vue на базе Volar.js: языковой сервер для редакторов, проверка типов vue-tsc и связанные пакеты.
Плагин для pytest, который запускает статический анализатор типов mypy для исходных файлов во время тестов.
Инструмент статического анализа PHP, который находит ошибки в коде, не запуская его.
Статический анализатор Ruby, который выводит типы из кода без аннотаций и стремится сообщать только о достоверно выявленных ошибках, например неопределённых методах и вызовах на nil.