待验证50% 置信事实精确时间

Pyrefly 的目标是提供比 mypy 和 Pyright 快一个数量级的检查速度，并支持完整类型推断、泛型与 PEP 695 新语法

1

来源数

50%

置信度

长期有效

时效性

2026/10/21

首次发现

来源

Zed v1.26.1-pre发布：Pyrefly与调试器升级

涉及实体

Pyreflyproduct mypyproduct Pyrightproduct

相关事实

待验证Pydantic 基于 Python 类型注解（Type Hints，PEP 484）实现运行时数据校验与序列化75% 相似待验证Pydantic基于Python类型注解构建，Pydantic v2用Rust重写核心校验逻辑，性能相较v1有数倍提升73% 相似待验证Pyrefly是Meta将原本用OCaml编写的旧类型检查器Pyre用Rust重写而成的Python静态类型检查器72% 相似已验证Pydantic 是 Python 生态中主流的数据验证库，通过类型注解在运行时强制校验数据结构70% 相似待验证PyPy是带JIT即时编译优化的Python解释器变体，执行速度更快68% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/1083268

API

curl https://kongchang.com/api/v1/knowledge/claims/1083268

MCP

get_claim(id=1083268)