产品
MyPy
Python生态中历史最悠久的静态类型检查工具，支持通过类型提示对Python代码进行静态分析，是Python官方推荐的类型检查器之一
时间轴 (近 90 天)
10月4日
MyPy长期以来是Python生态中默认的静态类型检查器，但速度慢且常与CI结果不一致
待验证50%
10月4日
在速度测试中，Pyrefly检查PyTorch用3.7秒而MyPy用54.92秒（约快15倍），检查NumPy用20秒而MyPy用1分49秒，检查scikit-learn约1秒而MyPy约6.3秒（约快6倍）
待验证50%