Meta’s Rust-powered linter and type checker for Python pairs blazing speed with advanced and innovative features.

目前处于 alpha 阶段的 Pyrefly 是 Meta 开发的一款新的开源 Python 类型检查器，其使用 Rust 编写，以实现最佳性能。Pyrefly 的灵感来自于 Pyre、Pyright 和 MyPy 等工具，旨在取代之前用于 Instagram 代码库的基于 OCaml 的 Pyre 类型检查器。 我们构建了 一个自定义的增量计算 ...

Microsoft has unveiled Pyright, an open source static-type-checking system for Python that aims to be faster than existing type-checking solutions for Python such as ...

What if the tool you’ve been waiting for could not only catch errors in your Python code instantly but also handle millions of lines with lightning speed? Enter Pyrefly, Meta’s latest innovation in ...