Repolode
meta

meta/pyrefly

用 Rust 编写的快速 Python 类型检查器与语言服务器,提供代码导航、自动补全等 IDE 功能。

可替代:MypyPyright

Star
7,186
Fork
590
未关闭 Issue
589
最近提交
18小时前

这是什么?

Pyrefly 是一款面向 Python 的类型检查器和语言服务器。它既可以作为命令行工具检查代码中的类型错误,也能以扩展形式接入 VS Code、Neovim、Zed 等编辑器,提供代码导航、自动补全、悬停信息、inlay hints 和语义高亮等功能。

该项目重点关注大型代码库上的速度。项目披露的数据显示,在 PyTorch 上的类型检查速度约为 Mypy 和 Pyright 的 15 倍,IDE 中保存文件后的增量检查通常在 10 毫秒内完成。它还内置了对 Pydantic、Django 和 pytest 的支持。

对于已有项目,Pyrefly 提供从 Mypy 或 Pyright 迁移的命令(`pyrefly init`)、屏蔽现有错误的命令(`pyrefly suppress`)以及类型注解生成命令(`pyrefly infer`),团队可以逐个文件逐步引入。

核心功能

  • 01命令行类型检查,适合大型项目的快速检查。
  • 02语言服务器提供代码导航、自动补全、悬停信息和 inlay hints。
  • 03内置对 Pydantic、Django 和 pytest 的支持。
  • 04提供从 Mypy 或 Pyright 迁移的命令。
  • 05支持屏蔽现有错误并推断类型注解,便于逐步引入。

适用场景

  • 在持续集成中为大型 Python 代码库加入静态类型检查。
  • 在 VS Code、Neovim 或 Zed 中获得基于类型的自动补全和代码导航。
  • 以较小改动将项目从 Mypy 或 Pyright 迁移过来。
  • 检查 Django 或 pytest 项目,获得框架感知的支持。

快速上手

  1. 1

    使用 pip 安装命令行工具

    pip install pyrefly
  2. 2

    从 IDE 安装页面安装 IDE 扩展

使用前须知

  • 版本策略允许任何版本(包括补丁版本)引入新的类型错误和破坏性变更。

标签

常见问题

pyrefly 是什么?
用 Rust 编写的快速 Python 类型检查器与语言服务器,提供代码导航、自动补全等 IDE 功能。 Pyrefly 是一款面向 Python 的类型检查器和语言服务器。它既可以作为命令行工具检查代码中的类型错误,也能以扩展形式接入 VS Code、Neovim、Zed 等编辑器,提供代码导航、自动补全、悬停信息、inlay hints 和语义高亮等功能。
pyrefly 可以免费使用吗?用的什么许可证?
pyrefly 以 MIT 许可证开源。用于商业产品前,请先确认许可证条款。
pyrefly 还在维护吗?
活跃维护中。pyrefly 最近一次提交是在 2026年11月6日。
pyrefly 适合用来做什么?
在持续集成中为大型 Python 代码库加入静态类型检查。 在 VS Code、Neovim 或 Zed 中获得基于类型的自动补全和代码导航。 以较小改动将项目从 Mypy 或 Pyright 迁移过来。 检查 Django 或 pytest 项目,获得框架感知的支持。
pyrefly 怎么安装和运行?
使用 pip 安装命令行工具: pip install pyrefly 从 IDE 安装页面安装 IDE 扩展
在哪里获取 pyrefly?
源代码和安装说明在 GitHub 上:https://github.com/meta/pyrefly

概要由 AI 根据项目 README 生成;GitHub 数据每日更新。

相关项目