Pyre: расширение для обнаружения ошибок в коде на Python

Pyre — расширение для статической проверки типов для Python, совместимое с PEP 484 и предназначенное для улучшения качества и скорости разработки большого объема кода и интерактивного выделения типов в среде разработки. Код проекта доступен на GitHub, распространяется под лицензией MIT и набрал уже 5,5 тысяч звездочек.

Расширение поставляется с ориентированным на безопасность инструментом статического анализа потока данных в приложениях Python под названием Pysa. Чтобы провести анализ безопасности, обратитесь к документации. 

Кроме проверки типов Pyre поддерживает функции, связанные с автоматической повторной проверкой отредактированных файлов через LSP. Принцип работы идентичен с моделью проверки типов в языке программирования Hack: Pyre реализован в языке OCaml и использует блокировку разделения памяти для обеспечения параллельного выполнения задач. 

Установка

Чтобы начать работу с Pyre, установите Python 3.6 или выше, а также сервис просмотра файлов Watchman. Для macOS используйте менеджер пакетов Homebrew. 

$ brew install python3 watchman

В Ubuntu, Mint и Debian используйте команду apt-get и Homebrew. 

$ sudo apt-get install python3 python3-pip python3-venv
$ brew install watchman

Настройка проекта 

$ mkdir my_project && cd my_project
$ python3 -m venv ~/.venvs/venv
$ source ~/.venvs/venv/bin/activate
(venv) $ pip install pyre-check

#Создание пустого каталога проекта и настройка виртуальной среды 

Затем устанавливаем конфигурацию для Pyre .pyre_configuration и .watchmanconfig в каталоге проекта. Оставляем значения по умолчанию, которые при необходимости можно изменить позже.

(venv) $ pyre init

Запуск Pyre 

После первого запуска начнется отслеживание изменений файловой системы: по мере набора кода будут проверяться типы проекта. 

(venv) $ echo "i: int = 'string'" > test.py
(venv) $ pyre
 ƛ Found 1 type error!
test.py:1:0 Incompatible variable type [9]: i is declared to have type `int` but is used as type `str`.

Для получения более подробной информации, читайте документацию.