GitHub Store
facebook

pyrefly

facebook

Pyrefly 是 Meta 开源的 Rust 编写 Python 类型检查器与语言服务器，检查速度远超同类，已作为 Instagram 两千万行代码库的默认类型检查器。

1.4.0
发布于
12 天前
7,117
星标
4,762
下载
同步于
8 天前

最新版本

1.4.02026年10月16日 00:56
下载慢？可在上方随时切换镜像源

项目说明

项目概述

Pyrefly 是 Meta 开源的 Python 类型检查器与语言服务器，用 Rust 编写，每秒可检查超过 185 万行代码，对 PyTorch 项目的检查速度比 Mypy 与 Pyright 快 15 倍。它是 Instagram 两千万行 Python 代码库的默认类型检查器，已被 PyTorch、JAX 等大型开源项目采用。除命令行工具外，还提供 VS Code、Neovim、Zed 等编辑器扩展。

项目 内容
开发方 Meta
语言 Rust
状态 稳定（1.0+）
许可 MIT

在工业级超大规模代码库上验证过的快速类型检查。

主要功能

  • 极速检查：每秒检查超 185 万行，保存文件后重检通常 10 毫秒内完成
  • 全功能语言服务器：代码导航、自动补全、悬浮信息、内联提示、语义高亮
  • 框架理解：内置 Pydantic、Django、pytest 支持，模型校验与 fixture 导航开箱即用
  • 迁移工具链：pyrefly init 从 Mypy/Pyright 迁移，pyrefly suppress 静音存量错误
  • 类型推断：pyrefly infer 自动生成类型标注
  • 编辑器集成：支持 VS Code、Neovim、Zed 等主流编辑器
  • 结果一致：命令行与编辑器给出一致的检查结果

适用人群

  • Python 开发者
  • 大型代码库维护者
  • 从 Mypy 或 Pyright 迁移的团队
  • 使用 Pydantic 或 Django 的项目
  • 关注 IDE 反馈速度的重度用户

快速上手

  1. 安装命令行工具
pip install pyrefly
  1. 初始化项目配置
pyrefly init
  1. 执行类型检查
pyrefly check
  1. 存量错误较多时可先用 suppress 静音再逐步治理

核心优势

  • 规模验证：在 Instagram 两千万行代码库上生产使用
  • 速度领先：比主流类型检查器快一个数量级以上
  • 采用友好：init、suppress、infer 三件套让渐进迁移轻松
  • 理解真实框架：对常用框架的内建理解减少误报

系统要求

项目 要求
操作系统 Linux、macOS、Windows
语言环境 Python（pip 安装）
编辑器 VS Code、Neovim、Zed 等

注意事项

  • 版本策略：不遵循严格语义化版本，升级可能带来新类型错误
  • 错误静音：升级后可用 pyrefly suppress 批量处理新增错误
  • 发布节奏：每月发布次要版本，关键修复以补丁版本跟进

历史版本

排序