Pyrefly —— Python 的快速类型检查器和 IDE

Pyrefly 是一款快速的 Python 类型检查器，计划在 2025 年底取代 Meta 现有的 Pyre 类型检查器。

Pyrefly 旨在通过 IDE 功能和检查 Python 代码来提高开发速度。

主要特点：

• 类型推断：除了函数参数之外，Pyrefly 可以在大多数位置推断类型。它可以推断变量的类型和返回类型。
• Flow Types：Pyrefly 可以理解程序的控制流以细化静态类型。
• 增量性：Pyrefly 旨在实现模块级的大规模增量性，并优化检查和并行性。

示例：

 # Example: Basic Type Checking def greet(name: str) -> str: return "Hello, " + name # This works fine since both "World" is a string and greet expects a string message: str = greet("World") # Pyrefly catches this error before runtime due to a type misatch between 42 and "str" # Error: Argument of type 'int' is not assignable to parameter of type 'str' error_message: str = greet(42)