# Pyrefly: A Fast Static Type Checker for Python Projects

- 发布方：Real Python；作者：Cameron Riddell
- 形式：实践教程 · en
- 原始资源：[https://realpython.com/pyrefly-python/](<https://realpython.com/pyrefly-python/>)
- 本站页面：[https://oplearnx.com/resources/res\_tgzaxc6t79zx](<https://oplearnx.com/resources/res_tgzaxc6t79zx>)
- 学习主题：计算机科学 / 编程与软件工程 / Python；计算机科学 / 编程与软件工程
- 内容状态：状态待核验
- 原始发布时间：2026-10-27 22:00
- 本站首次收录：2026-10-28 00:11

## 能学到什么

学会用 Pyrefly 在 Python 项目中做静态类型检查，并在节选所覆盖的范围内掌握片段检查、配置初始化与整项目检查的用法。

- 在虚拟环境中通过 pip 安装 Pyrefly
- 用 pyrefly snippet 快速检查一段代码的类型错误
- 用 pyrefly init 生成 pyrefly.toml 配置文件
- 用 pyrefly check 在运行前一次性定位项目中多处类型不匹配
- 了解 Pyrefly 与 Pyright、mypy 在功能与速度上的差异（据正文对比表）

## 适合我吗

- 适合：适合已会写 Python 函数、想用静态类型检查提前发现类型错误并规范代码的开发者。
- 需要留意：不适合完全没有 Python 基础、或想系统学习类型系统理论的读者。

## 前置条件与费用

- 知识前置：需要熟悉 Python 3.10 及以上版本的函数编写和基本类型注解写法，并会用命令行与 pip。
- 软件、账号与硬件：本地安装 Python 3.10\+ 与 pip，能创建虚拟环境并访问 PyPI 安装 pyrefly。
- 内容费用：免费：节选里可直接读到教程正文、安装命令与代码示例，示例代码写明可免费下载，无需登录或订阅。
- 实践费用：实践无额外费用：练习只需本地安装免费开源的 Pyrefly 与 Python 环境，网页未提到付费云服务或 API。
- 转载与修改：按材料分别核对，见本页“来源核验与开课实跑”；仓库许可不自动适用于教材或视频。

## 准备工具

- Python 3.10\+ 与 pip：创建虚拟环境并安装 Pyrefly
- [Pyrefly](<https://pyrefly.org/>)：静态类型检查（片段检查与项目检查）
- [浏览器](<https://realpython.com/pyrefly-python/>)：阅读教程正文

## 学习指南

开课检查：提示词由本站整理，尚未按提示词实际完成开课检查。

### 开课提示词（Windows）

```text
请帮我把「Pyrefly: A Fast Static Type Checker for Python Projects」的学习环境一次准备好，让我之后只需要按顺序学习和做练习。
开始前先问我：课程放在哪个目录（等我给出完整路径），确认我的操作系统和已有工具。确认前不要创建文件或安装软件。

课程入口：https://realpython.com/pyrefly-python/
我的系统：Windows。如果实际不符，先调整方案。
本次路线：Windows：本机动手。只准备这条路线需要的工具；只读路线不安装运行环境、不配置模型密钥。
练习：在本地演示项目里用错误的类型调用函数，对比 python 运行报错与 pyrefly check 一次性列出两处错误；再对自己已有的小项目运行 pyrefly init 与 pyrefly check。
课节（官方顺序）：
1. Get Started With Pyrefly：https://realpython.com/pyrefly-python/
2. Catch Type Errors in a Python Project Before Execution：https://realpython.com/pyrefly-python/
3. Let Pyrefly Add Type Hints to Python Code：https://realpython.com/pyrefly-python/
4. Measure Your Type Coverage：https://realpython.com/pyrefly-python/
5. Benchmark Pyrefly's Performance：https://realpython.com/pyrefly-python/
6. Limitations to Know About：https://realpython.com/pyrefly-python/
7. Conclusion：https://realpython.com/pyrefly-python/

1. 环境
- Python 3.10 及以上
- pip 可访问 PyPI
- 虚拟环境 venv（标准库自带）
- pyrefly==1.2.0
- 安装前先列出要装的软件和命令，等我同意；已装好的直接复用。
2. 材料
- 官方课程页面：只记录链接 https://realpython.com/pyrefly-python/
3. 目录（最外层放在我确认的位置）
pyrefly-static-type-checker/
├── README.md        # 课程入口、课节清单、每次怎么开始
├── progress.md      # 每课：读讲义 / 做练习 / 记笔记
├── questions.md     # 待解决的问题
├── check-env.ps1     # 环境自检，按 README 操作
├── data/            # 练习用到的样例数据
└── lessons/         # 每课一个文件夹：notes.md + exercises/
    ├── 01-01-get-started-with-pyrefly/
    ├── 02-02-catch-type-errors-in-a/
    ├── 03-03-let-pyrefly-add-type-hints/
    ├── 04-04-measure-your-type-coverage/
    ├── 05-05-benchmark-pyrefly-s-performance/
    ├── 06-06-limitations-to-know-about/
    └── 07-07-conclusion/
- 每课文件夹里建 notes.md（顶部写本课官方链接）和 exercises/；课节文件夹名称与上面一致。
- 已有课程目录先检查并复用；不覆盖笔记、作业或 progress.md，不重置已有进度。尚未发布的课节保留入口并注明未发布，不能代写讲义或虚构练习。
4. 自检
- 创建 check-env.ps1，逐项检查并记录“通过/未通过”：
- 在课程根目录运行；每项检查独立执行，进入子目录不能影响下一项。将下面检查转换为 PowerShell 命令，不使用 Bash 语法。
  - pyrefly --version（或 pip show pyrefly）  → 输出已安装的 Pyrefly 版本
  - pyrefly snippet "x: str = 1"  → 输出 bad-assignment 错误，证明工具可用
  - 打开 pyrefly.toml 确认 project-includes 含 **/*.py* 与 **/*.ipynb  → 配置文件已按要求生成
- 标注为人工检查、浏览器操作或 notebook 单元的项目，按相应方式操作，不直接粘贴进 shell；脚本只包含当前系统可执行的命令。
- 仅在当前路线需要、对应材料已获准保存、工具已安装时运行该项；需要登录、付费或尚未开放的材料记为“需要我操作/未验证”，不能伪报通过。不执行会调用付费 API、提交作业或修改云服务的检查。
- 运行一次，把结果给我看；未通过的项目说明原因和修复办法。
5. 学习计划
- README.md：课程入口、课节清单（带链接）、每次学习怎么开始（使用“每课提示词”）。
- progress.md：每课三项勾选——读讲义、做练习、记笔记。
6. 最后分三部分汇报：已完成、需要我自己操作的、尚未验证的。

边界：
- 需要管理员权限、会产生费用或需要填写密钥的操作，先告诉我原因，等我同意。密钥由我在本机配置，不发到聊天，不写进笔记或版本库；原项目需要 .env 时确认已被 Git 忽略。
- 不替我写练习或作业答案，也不替我提交。我卡住时只给提示；我明确要求时才给解答。
- 只下载许可允许个人保存的材料；其余只放链接。不把未运行的命令说成成功。
如果你不能直接操作我的文件系统，请在确认目录后给出适用于我的系统、可直接执行的命令和需要保存的文件内容。
```

### 开课提示词（macOS）

```text
请帮我把「Pyrefly: A Fast Static Type Checker for Python Projects」的学习环境一次准备好，让我之后只需要按顺序学习和做练习。
开始前先问我：课程放在哪个目录（等我给出完整路径），确认我的操作系统和已有工具。确认前不要创建文件或安装软件。

课程入口：https://realpython.com/pyrefly-python/
我的系统：macOS。如果实际不符，先调整方案。
本次路线：macOS：本机动手。只准备这条路线需要的工具；只读路线不安装运行环境、不配置模型密钥。
练习：在本地演示项目里用错误的类型调用函数，对比 python 运行报错与 pyrefly check 一次性列出两处错误；再对自己已有的小项目运行 pyrefly init 与 pyrefly check。
课节（官方顺序）：
1. Get Started With Pyrefly：https://realpython.com/pyrefly-python/
2. Catch Type Errors in a Python Project Before Execution：https://realpython.com/pyrefly-python/
3. Let Pyrefly Add Type Hints to Python Code：https://realpython.com/pyrefly-python/
4. Measure Your Type Coverage：https://realpython.com/pyrefly-python/
5. Benchmark Pyrefly's Performance：https://realpython.com/pyrefly-python/
6. Limitations to Know About：https://realpython.com/pyrefly-python/
7. Conclusion：https://realpython.com/pyrefly-python/

1. 环境
- Python 3.10 及以上
- pip 可访问 PyPI
- 虚拟环境 venv（标准库自带）
- pyrefly==1.2.0
- 安装前先列出要装的软件和命令，等我同意；已装好的直接复用。
2. 材料
- 官方课程页面：只记录链接 https://realpython.com/pyrefly-python/
3. 目录（最外层放在我确认的位置）
pyrefly-static-type-checker/
├── README.md        # 课程入口、课节清单、每次怎么开始
├── progress.md      # 每课：读讲义 / 做练习 / 记笔记
├── questions.md     # 待解决的问题
├── check-env.sh     # 环境自检，按 README 操作
├── data/            # 练习用到的样例数据
└── lessons/         # 每课一个文件夹：notes.md + exercises/
    ├── 01-01-get-started-with-pyrefly/
    ├── 02-02-catch-type-errors-in-a/
    ├── 03-03-let-pyrefly-add-type-hints/
    ├── 04-04-measure-your-type-coverage/
    ├── 05-05-benchmark-pyrefly-s-performance/
    ├── 06-06-limitations-to-know-about/
    └── 07-07-conclusion/
- 每课文件夹里建 notes.md（顶部写本课官方链接）和 exercises/；课节文件夹名称与上面一致。
- 已有课程目录先检查并复用；不覆盖笔记、作业或 progress.md，不重置已有进度。尚未发布的课节保留入口并注明未发布，不能代写讲义或虚构练习。
4. 自检
- 创建 check-env.sh，逐项检查并记录“通过/未通过”：
- 在课程根目录运行；每项检查独立执行，进入子目录不能影响下一项。使用当前系统的终端运行。
  - pyrefly --version（或 pip show pyrefly）  → 输出已安装的 Pyrefly 版本
  - pyrefly snippet "x: str = 1"  → 输出 bad-assignment 错误，证明工具可用
  - 打开 pyrefly.toml 确认 project-includes 含 **/*.py* 与 **/*.ipynb  → 配置文件已按要求生成
- 标注为人工检查、浏览器操作或 notebook 单元的项目，按相应方式操作，不直接粘贴进 shell；脚本只包含当前系统可执行的命令。
- 仅在当前路线需要、对应材料已获准保存、工具已安装时运行该项；需要登录、付费或尚未开放的材料记为“需要我操作/未验证”，不能伪报通过。不执行会调用付费 API、提交作业或修改云服务的检查。
- 运行一次，把结果给我看；未通过的项目说明原因和修复办法。
5. 学习计划
- README.md：课程入口、课节清单（带链接）、每次学习怎么开始（使用“每课提示词”）。
- progress.md：每课三项勾选——读讲义、做练习、记笔记。
6. 最后分三部分汇报：已完成、需要我自己操作的、尚未验证的。

边界：
- 需要管理员权限、会产生费用或需要填写密钥的操作，先告诉我原因，等我同意。密钥由我在本机配置，不发到聊天，不写进笔记或版本库；原项目需要 .env 时确认已被 Git 忽略。
- 不替我写练习或作业答案，也不替我提交。我卡住时只给提示；我明确要求时才给解答。
- 只下载许可允许个人保存的材料；其余只放链接。不把未运行的命令说成成功。
如果你不能直接操作我的文件系统，请在确认目录后给出适用于我的系统、可直接执行的命令和需要保存的文件内容。
```

### 开课提示词（Linux）

```text
请帮我把「Pyrefly: A Fast Static Type Checker for Python Projects」的学习环境一次准备好，让我之后只需要按顺序学习和做练习。
开始前先问我：课程放在哪个目录（等我给出完整路径），确认我的操作系统和已有工具。确认前不要创建文件或安装软件。

课程入口：https://realpython.com/pyrefly-python/
我的系统：Linux。如果实际不符，先调整方案。
本次路线：Linux：本机动手。只准备这条路线需要的工具；只读路线不安装运行环境、不配置模型密钥。
练习：在本地演示项目里用错误的类型调用函数，对比 python 运行报错与 pyrefly check 一次性列出两处错误；再对自己已有的小项目运行 pyrefly init 与 pyrefly check。
课节（官方顺序）：
1. Get Started With Pyrefly：https://realpython.com/pyrefly-python/
2. Catch Type Errors in a Python Project Before Execution：https://realpython.com/pyrefly-python/
3. Let Pyrefly Add Type Hints to Python Code：https://realpython.com/pyrefly-python/
4. Measure Your Type Coverage：https://realpython.com/pyrefly-python/
5. Benchmark Pyrefly's Performance：https://realpython.com/pyrefly-python/
6. Limitations to Know About：https://realpython.com/pyrefly-python/
7. Conclusion：https://realpython.com/pyrefly-python/

1. 环境
- Python 3.10 及以上
- pip 可访问 PyPI
- 虚拟环境 venv（标准库自带）
- pyrefly==1.2.0
- 安装前先列出要装的软件和命令，等我同意；已装好的直接复用。
2. 材料
- 官方课程页面：只记录链接 https://realpython.com/pyrefly-python/
3. 目录（最外层放在我确认的位置）
pyrefly-static-type-checker/
├── README.md        # 课程入口、课节清单、每次怎么开始
├── progress.md      # 每课：读讲义 / 做练习 / 记笔记
├── questions.md     # 待解决的问题
├── check-env.sh     # 环境自检，按 README 操作
├── data/            # 练习用到的样例数据
└── lessons/         # 每课一个文件夹：notes.md + exercises/
    ├── 01-01-get-started-with-pyrefly/
    ├── 02-02-catch-type-errors-in-a/
    ├── 03-03-let-pyrefly-add-type-hints/
    ├── 04-04-measure-your-type-coverage/
    ├── 05-05-benchmark-pyrefly-s-performance/
    ├── 06-06-limitations-to-know-about/
    └── 07-07-conclusion/
- 每课文件夹里建 notes.md（顶部写本课官方链接）和 exercises/；课节文件夹名称与上面一致。
- 已有课程目录先检查并复用；不覆盖笔记、作业或 progress.md，不重置已有进度。尚未发布的课节保留入口并注明未发布，不能代写讲义或虚构练习。
4. 自检
- 创建 check-env.sh，逐项检查并记录“通过/未通过”：
- 在课程根目录运行；每项检查独立执行，进入子目录不能影响下一项。使用当前系统的终端运行。
  - pyrefly --version（或 pip show pyrefly）  → 输出已安装的 Pyrefly 版本
  - pyrefly snippet "x: str = 1"  → 输出 bad-assignment 错误，证明工具可用
  - 打开 pyrefly.toml 确认 project-includes 含 **/*.py* 与 **/*.ipynb  → 配置文件已按要求生成
- 标注为人工检查、浏览器操作或 notebook 单元的项目，按相应方式操作，不直接粘贴进 shell；脚本只包含当前系统可执行的命令。
- 仅在当前路线需要、对应材料已获准保存、工具已安装时运行该项；需要登录、付费或尚未开放的材料记为“需要我操作/未验证”，不能伪报通过。不执行会调用付费 API、提交作业或修改云服务的检查。
- 运行一次，把结果给我看；未通过的项目说明原因和修复办法。
5. 学习计划
- README.md：课程入口、课节清单（带链接）、每次学习怎么开始（使用“每课提示词”）。
- progress.md：每课三项勾选——读讲义、做练习、记笔记。
6. 最后分三部分汇报：已完成、需要我自己操作的、尚未验证的。

边界：
- 需要管理员权限、会产生费用或需要填写密钥的操作，先告诉我原因，等我同意。密钥由我在本机配置，不发到聊天，不写进笔记或版本库；原项目需要 .env 时确认已被 Git 忽略。
- 不替我写练习或作业答案，也不替我提交。我卡住时只给提示；我明确要求时才给解答。
- 只下载许可允许个人保存的材料；其余只放链接。不把未运行的命令说成成功。
如果你不能直接操作我的文件系统，请在确认目录后给出适用于我的系统、可直接执行的命令和需要保存的文件内容。
```

### 每课提示词

```text
继续学习「Pyrefly: A Fast Static Type Checker for Python Projects」。课程目录是 pyrefly-static-type-checker/（不知道完整路径就先问我）。
1. 读 progress.md，找到下一课；如果我指定了第几课，就准备那一课。
2. 打开这一课的官方页面和本地讲义，列出本课练习要用的工具、文件和样例数据。缺少的先告诉我，等我同意再安装或下载。
3. 在 lessons/ 对应的课节文件夹里准备好练习：exercises/ 里给每道题建一个文件，写上题号和题目原文链接，不写答案；已有文件保留，样例数据放到 data/。拿不到官方题目或起始代码时记录限制，不编造替代品。
4. 按 README 运行开课时生成的自检脚本或在线检查清单，并检查本课新增工具能否正常使用。
5. 告诉我：本课先读哪几节、从哪道练习开始、大约需要多久。我学完后，帮我在 progress.md 勾选并把问题整理到 questions.md。

边界：
- 需要管理员权限、会产生费用或需要填写密钥的操作，先告诉我原因，等我同意。密钥由我在本机配置，不发到聊天，不写进笔记或版本库；原项目需要 .env 时确认已被 Git 忽略。
- 不替我写练习或作业答案，也不替我提交。我卡住时只给提示；我明确要求时才给解答。
- 只下载许可允许个人保存的材料；其余只放链接。不把未运行的命令说成成功。
```

### 课节（官方顺序）

1. [Get Started With Pyrefly](<https://realpython.com/pyrefly-python/>)
2. [Catch Type Errors in a Python Project Before Execution](<https://realpython.com/pyrefly-python/>)
3. [Let Pyrefly Add Type Hints to Python Code](<https://realpython.com/pyrefly-python/>)
4. [Measure Your Type Coverage](<https://realpython.com/pyrefly-python/>)
5. [Benchmark Pyrefly's Performance](<https://realpython.com/pyrefly-python/>)
6. [Limitations to Know About](<https://realpython.com/pyrefly-python/>)
7. [Conclusion](<https://realpython.com/pyrefly-python/>)

## 指南参考

- [课程主页](<https://realpython.com/pyrefly-python/>)

## 来源、许可与验证记录

- **开课提示词未完整验证，需要自备账号或资源**：本地 Python 3.10\+ 与 pip（创建虚拟环境并安装 pyrefly）
- 转载与修改 · 课程页面与材料：未找到明确许可。网页未声明本文内容的许可协议；站点有付费会员入口，但未写明许可名称 [依据](<https://realpython.com/pyrefly-python/>)
- 链接检查：1/1 个可以访问

## 来源与推荐

- 编辑整理收录

---
来源：LearnMap · 学径（https://oplearnx.com）