Security / DevTools / Open Source
Python 型別檢查進入組合策略：Pyrefly 1.0、ty、Pyright 與 mypy 的 2026 選型
Threads 提到 Meta Pyrefly 1.0 讓 Python 型別檢查市場震盪。本文查核 Pyrefly、Astral ty、Pyright、mypy 的 GitHub / PyPI / 官方文件，整理 2026 年務實策略：IDE 即時回饋與 CI 最終把關可以分工，不再押單一工具。
2026年7月26日1 分鐘閱讀👁 13
Python / Type Checking / Rust tooling
Python 型別檢查在 2026 年的重點不是「誰會完全取代誰」，而是工具鏈分工：IDE 需要低延遲 LSP，CI 需要快速且嚴格的全量檢查，成熟框架仍需要 plugin 生態。
來源與查核
- Threads：Pyrefly / Pyright / mypy / ty 組合策略
- facebook/pyrefly：MIT；查核時 6,826 stars；README 稱 stable 1.0、Instagram 20M LOC、生產使用。
- Pyrefly 官方文件：宣稱 1.85M LOC/s、IDE recheck under 10ms（官方 benchmark，未本次重跑）。
- astral-sh/ty：MIT；查核時 19,283 stars；README 稱 beta，10x–100x faster than mypy/Pyright。
- microsoft/pyright：MIT；成熟 IDE / Pylance 生態。
- python/mypy：LICENSE 文字為 MIT；Django / SQLAlchemy 等 plugin 生態仍是優勢。
- 驗證標記：Pyrefly ty Pyright mypy Python type checker
務實選型
| 工具 | 定位 | 適合 | 注意 |
|---|---|---|---|
| Pyright / Pylance | IDE 即時回饋 | VS Code / LSP、生態成熟 | 大型專案記憶體與嚴格度需調整 |
| Pyrefly | 快速嚴格檢查 + LSP | CI、Meta-style 大型 codebase、想縮短型別檢查時間 | 新工具，需在專案上跑 baseline，benchmark 視硬體/程式碼而變 |
| mypy | 成熟標準與 plugin | Django、SQLAlchemy、既有 CI 規則 | 速度劣勢明顯，但 plugin 仍難替代 |
| ty | Astral Rust 型別檢查器 | uv/ruff 使用者、願意追 beta 工具 | 仍在 beta，適合試點不要一口氣替換 production gate |
Kate 判斷
BigIntTech 的 Python 專案可以先採「Pyright/Pylance 給 IDE、Pyrefly 進 CI 做第二條檢查、mypy 留給需要 plugin 的專案」；ty 值得追，但目前更像下一代 Astral toolchain 的預備選項。