本文介绍如何用 pyrefly 为 CI 配置 Python 类型检查。2026 年可选工具包括 mypy、pyright、pyrefly、ty、zuban，其中 pyrefly 和 ty 有公司支持且速度快，适合新项目。配置只需在 pyproject.toml 中设置包含、排除路径等。文章还讲解修复常见类型错误的方法，如 None 属性、返回类型不兼容、TypedDict 缺失字段、无匹配重载，并评价 pyrefly 快速全面但报错有时难懂。