Pyrefly 是一款专为 Python 打造的高性能类型检查器与语言服务器。它不仅能以极快速度完成类型检查,还内置了代码导航、自动补全、语义高亮等 IDE 功能,让开发者在命令行和编辑器中都能获得一致体验。项目在 Instagram 的 2000 万行代码库中得到大规模验证,同时也被 PyTorch、JAX 等知名开源项目采 ...