analysis and verification of data types in the source code of a computer program
A benchmark comparison of speed and memory usage across Python type checkers including Pyrefly, Ty, Pyright, and Mypy.
Lessons from developing Pyre that influenced how we designed Pyrefly.
Learn what it means to conform to the Python typing spec, why it matters, and the conformance status of each type checker including Pyrefly, Ty, Pyright and Mypy.
Learn how different type checkers handle empty containers in Python, including Pyrefly, Ty, Pyright and Mypy.
Learn about 4 ways Pyrefly narrows types, reducing the need to explicitly cast in your code.
