Repolode
meta

meta/pyrefly

Быстрый чекер типов и language server для Python на Rust с функциями IDE: переходом по коду, автодополнением и семантической подсветкой.

Open source альтернатива:MypyPyright

Звёзды
7,188
Форки
592
Открытые issues
589
Последний коммит
6 часов назад

Что это?

Pyrefly — это чекер типов и language server для Python. Он работает как CLI-утилита для проверки кода на ошибки типов и как расширение для редакторов, например VS Code, Neovim и Zed. Расширение поддерживает переход по коду, автодополнение, подсказки при наведении, встроенные подсказки типов и семантическую подсветку.

Проект ориентирован на высокую скорость работы с большими кодовыми базами. Согласно README, Pyrefly проверяет PyTorch значительно быстрее Mypy и Pyright, а повторная проверка в IDE после сохранения файла занимает менее 10 миллисекунд. Встроена поддержка Pydantic, Django и pytest.

Для уже существующих проектов Pyrefly предлагает команды для перехода с Mypy или Pyright (`pyrefly init`), подавления текущих ошибок (`pyrefly suppress`) и генерации аннотаций типов (`pyrefly infer`). Это позволяет командам внедрять его постепенно, по одному файлу за раз.

Ключевые возможности

  • 01Быстро проверяет типы в Python-коде из командной строки, в том числе в крупных проектах.
  • 02Language server поддерживает переход по коду, автодополнение, подсказки при наведении и встроенные подсказки типов.
  • 03Встроенная поддержка Pydantic, Django и pytest.
  • 04Команды для перехода на Pyrefly с Mypy или Pyright.
  • 05Позволяет подавлять существующие ошибки и выводить аннотации типов для постепенного внедрения.

Сценарии использования

  • Добавить статическую проверку типов в крупную кодовую базу Python в CI.
  • Получить автодополнение с учётом типов и переход по коду в VS Code, Neovim или Zed.
  • Перейти на Pyrefly с Mypy или Pyright с минимальными изменениями в рабочем процессе.
  • Проверять типы в проектах на Django или pytest с учётом особенностей фреймворков.

Быстрый старт

  1. 1

    Установите инструмент командной строки с помощью pip

    pip install pyrefly
  2. 2

    Установите расширение для IDE со страницы установки IDE

Что важно знать

  • Политика версий допускает появление новых ошибок типов и несовместимых изменений в любом выпуске, включая патч-версии.

Темы

Частые вопросы

Что такое pyrefly?
Быстрый чекер типов и language server для Python на Rust с функциями IDE: переходом по коду, автодополнением и семантической подсветкой. Pyrefly — это чекер типов и language server для Python. Он работает как CLI-утилита для проверки кода на ошибки типов и как расширение для редакторов, например VS Code, Neovim и Zed. Расширение поддерживает переход по коду, автодополнение, подсказки при наведении, встроенные подсказки типов и семантическую подсветку.
pyrefly можно использовать бесплатно? Какая у него лицензия?
pyrefly распространяется с открытым исходным кодом под лицензией MIT. Перед использованием в коммерческих продуктах проверьте условия лицензии.
pyrefly всё ещё поддерживается?
Активно поддерживается. Последний коммит в pyrefly — 7 нояб. 2026 г..
Для чего можно использовать pyrefly?
Добавить статическую проверку типов в крупную кодовую базу Python в CI. Получить автодополнение с учётом типов и переход по коду в VS Code, Neovim или Zed. Перейти на Pyrefly с Mypy или Pyright с минимальными изменениями в рабочем процессе. Проверять типы в проектах на Django или pytest с учётом особенностей фреймворков.
Как установить pyrefly?
Установите инструмент командной строки с помощью pip: pip install pyrefly Установите расширение для IDE со страницы установки IDE
Где скачать pyrefly?
Исходный код и инструкции по установке — на GitHub: https://github.com/meta/pyrefly

Описание создано ИИ на основе README проекта. Статистика GitHub обновляется ежедневно.

Похожие проекты

Клиентская библиотека LSP на Python для приложений, которые обращаются к языковым серверам за определениями, ссылками, данными hover и вариантами автодополнения.

615+2 за неделю112PythonMITАктивно поддерживаетсяОбновлён 9 дней назад