Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

Pyrefly v1.0 is here (fast type checker and language server for Python)

pyrefly.org

Post reply on HN
Print view View original

1–10 of 10 posts

Re: Pyrefly v1.0 is here (fast type checker and language server for Python)

#4

Post by perarneng »

Fun thing, today (1 hour ago) the 13:th may i was lookig for a typechecker with AI in what is popular right now because these things changes. I have been following pyrefly and ty before. Then i decided to go with pyrefly and added it. Noticed it was 1.0.0 which as odd because that is very special. How could i have missed that. Then I checked the blog and saw it was released yesterday. What a happy surprise to get a 1.0 as fresh delivery straight in to my project. Nice work!

Re: Pyrefly v1.0 is here (fast type checker and language server for Python)

#6

Post by ocamoss »

adityamwagh wrote: post #5

It’s a memory hog! The other day it was using 2.5GB of RAM.

Maintainer here: that's not the expected experience. If you're able to share details about the project & file an issue on our Github, we can try to reproduce it and figure out what's going on.

Re: Pyrefly v1.0 is here (fast type checker and language server for Python)

#8

Post by ducdetronquito »

aitchnyu wrote: post #7

Wish Django Stubs dont need a Mypy plugin https://github.com/typeddjango/django-stubs

I use django-types(1), which is far from perfect but does a good enough job for my usecases.

I think that Django's magic isn't statically typecheckable, so I tend to avoid those features altogether. If it's not possible, you can still provide a custom stubs for your needs, or provide a custom abstraction that wraps the not-typechecked parts, or accept that some parts of your codebase are less safe to modify than others. Nothing perfect, but it works.

(1) https://github.com/sbdchd/django-types

Post reply on HN