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