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
После первого запуска начнется отслеживание изменений файловой системы: по мере набора кода будут проверяться типы проекта.
(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`.
Для получения более подробной информации, читайте документацию.
Сегодня мы поговорим о том, как выбрать лучшие курсы Power BI в Украине, особенно для…
В 2023 году во всех крупнейших регионах конкуренция за вакансию выросла на 5–12%. Не исключением…
Unicorn Hunter/Talent Manager Лина Калиш создала бесплатный трекер поиска работы в Notion, систематизирующий все этапы…
Edtech-стартап Mate academy принял решение отправить своих работников в десятидневный отпуск – с 25 декабря…
Служба безопасности Украины задержала в Киеве 46-летнего программиста, который за деньги устанавливал шпионские программы и…
IT-специалист Джордан Катлер создал и выложил на Github подборку разнообразных ресурсов, которые помогут достичь уровня…