pyrefly

Pyrefly 是一个用于 Python 的快速类型检查器和语言服务器，提供高效的类型检查以及代码导航、语义高亮显示和代码补全等IDE功能。它采用Rust语言编写，能够以每秒超过185万行的速度进行类型检查，比Mypy和Pyright快15倍。Pyrefly支持包括Pydantic和Django在内的多种框架，并且在Instagram的2000万行Python代码库中得到实际应用验证。适用于需要高性能类型检查与丰富开发辅助工具的Python项目，无论是个人开发者还是大型团队都能从中受益。此外，通过简单的命令如`pyrefly init`可以从Mypy或Pyright平滑迁移过来。