Готовые конфигурации Language Server Protocol для подключения Neovim к множеству серверов языков программирования.
- Звёзды
- 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
Установите инструмент командной строки с помощью pip
pip install pyrefly - 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 обновляется ежедневно.
Похожие проекты
Официальная реализация Language Server Protocol для Elixir, добавляющая редакторам интеллектуальные функции для работы с проектами на Elixir.
Клиент Emacs для Language Server Protocol: добавляет автодополнение, диагностику, навигацию и рефакторинг в стиле IDE.
Клиентская библиотека LSP на Python для приложений, которые обращаются к языковым серверам за определениями, ссылками, данными hover и вариантами автодополнения.
Порт компилятора и языкового сервера TypeScript 7 на Rust — готовая замена для проверки типов и генерации кода.
Экспериментальный порт компилятора TypeScript 7 на Rust (tsc) с теми же CLI, language server и API, а также встроенной диагностикой Effect.