Re:Pyrefly
by joshdavham on Tuesday April 29, 2025 @11:22AM
(#43833900)
Have there been any updates on when they think it’ll be released?
[ Parent
| on HN ]
At least the alpha milestone is May 12, but I don't think they've publically committed to anything.
In particular for me it would be great to have a better typechecker than Pyright available for Zed (basically why the editor is a nonstarter right now).
An editor is a nonstarter because it doesn't doesn't integrate the right implementation of some particular optional feature for some particular language?
That's a high bar!
I have some sympathies with the parent post as Zed is my daily driver and I mostly write Python. Pyright is horrible to work with, tons of false positives. Parent poster - you might find this useful: https://github.com/zed-industries/zed/discussions/24801
Re:Pyrefly
by hopfenspergerj on Tuesday April 29, 2025 @12:45PM
(#43834994)
No it is not horrible to work with. Even the “standard” settings are quite lax.
I think our respective comment votes disagree.
Well, I mean why use a suboptimal tool? I don’t have any ideology to follow, my codebase is just mostly Python and heavily typed. Pyright doesn’t support all the features so I stick with VSCode/Pylance.