5/14/2026 at 7:17:57 AM
Congrats on the release, and thanks for this nice tool !I migrated a small python/django backend project at work from basedpyright to pyrefly 1.0 yesterday to try it, and the migration was painless: just running pyrefly init converted the basedpyright config to a pyrefly config in the pyproject.toml.
The typecheking phase went from ~3/4s to 0.5s which is very nice when ran with pre-commit hooks. It also caught some unnecessary type conversion that basedpyright missed (ex: calling str(value) on a value that is already a string).
I haven't toyed too much with the LSP in zed, but I did not feel anything was missing for now.
I will try to migrate larger backends in the following weeks to see how it goes.
Anyway, it's very cool to see a new stable and fast typechecker for Python ! :)
by ducdetronquito