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)