Pyrefly

Pyrefly 是 Python 的类型检查器和语言服务器，提供闪电般的快速类型检查，以及代码导航、语义高亮和代码补全等 IDE 功能。它可作为命令行工具和 VSCode 插件使用。

主要特性：

类型推断：Pyrefly 可在大多数位置推断类型（函数参数除外），包括变量类型和返回值类型。 流程类型：Pyrefly 能理解程序的控制流，以精炼静态类型。 增量式检查：Pyrefly 在模块级别追求大规模增量式检查，具备优化的检查机制和并行处理能力。