HackerTrans
TopNewTrendsCommentsPastAskShowJobs

kinto

no profile record

Submissions

Pyrefly v1.0.0 is here (Type Checker / Language Server for Python) [video]

youtube.com
10 points·by kinto·2 mesi fa·8 comments

comments

kinto
·2 mesi fa·discuss
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).
kinto
·2 mesi fa·discuss
curious if you’ve tried 1.0! we’ve shipped a lot of memory improvements recently. if you have, please make a github issue and we can investigate.
kinto
·2 mesi fa·discuss
glad you like it. let us know if you have any issues!
kinto
·2 mesi fa·discuss
Hi, Pyrefly developer here. It's been almost a year since our alpha has been released and we've been working hard towards a stable release. We're excited to announce general availability today!

See the official blog post for more details: https://pyrefly.org/blog/v1.0/
kinto
·2 mesi fa·discuss
hi - pyrefly developer here. this was an oversight made by me a while ago during our beta launch.

thanks for reporting. we have a full response [here](https://github.com/facebook/pyrefly/issues/3292#issuecomment...) in the github issue
kinto
·9 mesi fa·discuss
(Pyrefly dev here)

We've seen a lot of people have success with the mypy plugin + django-stubs.

Full out-of-the-box support is being actively worked on in Pyrefly: we will have specialized django enum support in the next release and we expect real experimental support by the end of the year. At that time we'll likely post a blog post to announce it [here](https://pyrefly.org/blog/).
kinto
·9 mesi fa·discuss
Hey, Pyrefly developer here, thanks for trying us out! Thanks for bearing with us with these issues you're experiencing while we're still in alpha.

We're planning on adding unreachable code diagnostics soon (github issue [here](https://github.com/facebook/pyrefly/issues/1292)). These come for free with Pyright so we don't want to regress features.

I'm happy to help diagnose/fix your autocomplete issue: it should work on modules. If you want to provide details here, on [discord](https://discord.gg/Cf7mFQtW7W), or as a Github issue (github/discord preferred) we'll fix it for you + anyone else with the problem.
kinto
·9 mesi fa·discuss
Hey, Pyrefly developer here, thanks for trying us out!

We're dedicated to providing a great IDE experience, though it does take some time. Please bother us on github / our discord if you have features you want - bug reports / community asks are our biggest priority.

- auto import is implemented in Pyrefly: it uses your pyrefly.toml project structure or falls back to your VSCode workspace (up to the first 2500 files). we're happy to fix it for your situation if you want to provide a reproduction

- signature/doc when selecting autocomplete options is a known bug [here](https://github.com/facebook/pyrefly/issues/1090)

- go to declaration: I've created an issue for that [here](https://github.com/facebook/pyrefly/issues/1291), it should be quick.

- speed: by far the biggest issue. your problem is likely related to [this](https://github.com/facebook/pyrefly/issues/360) but we need more information to speed it up. we're happy to work with you to to improve this if you're willing to provide a project structure