GitHub - facebook/pyrefly: A fast type checker and language server for Python
You might also wanna read
Pyrefly: High-Performance Python Type Checker and Language Server
Pyrefly is a high-performance Python type checker and language server that offers rapid type checking capabilities (over 1.85 million lines
pyrefly.org·8mo ago
ty: An Extremely Fast Python Type Checker and Language Server Written in Rust
ty is an extremely fast Python type checker and language server written in Rust, developed by Astral (creators of uv and Ruff). It offers 10
docs.astral.sh·6mo ago
Astral Announces Beta Release of 'ty' - A High-Speed Python Type Checker and Language Server
Astral announces the Beta release of 'ty', an extremely fast Python type checker and language server written in Rust. Developed by the creat
astral.sh·5mo ago
Exploring Python's __subclasshook__ and Pattern Matching Edge Cases
The article explores creative and potentially problematic uses of Python's __subclasshook__ feature, particularly how it can be combined wit
hillelwayne.com·9mo ago
Python Type Checker Comparison: Evaluating Conformance to Typing Specifications
This article examines how well different Python type checkers conform to the official Python typing specification. It discusses the history
pyrefly.org·2mo ago
Python library maintainers should prioritize type-checking tests over source code
This article addresses the growing challenge for Python library maintainers who feel overwhelmed by the increasing number of type checkers (
pyrefly.org·5d ago