Re:Pyrefly v1.0.0 is here (Type Checker / Language Server fo...
by rtolsma on Thursday May 14, 2026 @01:25AM
(#48131401)
for production usage, what are the major deltas vs. pyright today?
[ Parent
| on HN ]
Re:Pyrefly v1.0.0 is here (Type Checker / Language Server fo...
by kinto on Friday May 15, 2026 @10:18AM
(#48148937)
What type of deltas? We compare "conformance" on [this](https://pyrefly.org/blog/typing-conformance-comparison/) blog, which was a benchmark created by the creator of Pyright. However, it is quite specific to un-specified sections of PEP484 (things that checkers may not need to agree on but should). In terms of performance, you can see results [here](https://python-type-checking.com/typecheck_benchmark/) where we are quite a bit faster than pyright (almost 10x avg) and use far less memory (almost half).