Pyrefly v1.0 is here (fast type checker and language server for Python)
38 points by ocamoss
by perarneng
0 subcomment
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!
by bbor
1 subcomments
Funny what HN randomly misses sometimes -- this is huge news! Congrats to you and the team.
by 5Qn8mNbc2FNCiVV
1 subcomments
I wish there was a config to error when a inferred type is either Any or Unknown so we can spot these locations. The report has it, but seeing it in the IDE would be great