Ty: A fast Python type checker and language server

Re:Ty: A fast Python type checker and language server by scosman on Wednesday May 07, 2025 @05:26PM (#43920733)

Found 275 diagnostics

0.56s user 0.14s system 302% cpu 0.231 total

Damn that's fast. And zero issues in this project with pyright so curious that these are...

[ Parent | on HN ]

Re:Ty: A fast Python type checker and language server by _carljm on Wednesday May 07, 2025 @06:40PM (#43921242)

There's a good chance many of the errors we emit are incorrect, at this stage. Lots to do still!

[ Parent | on HN ]

Re:Ty: A fast Python type checker and language server by dcreager on Wednesday May 07, 2025 @07:48PM (#43921642)

Wait wait wait

Carl, you did not tell me that the errors we emit need to be correct!!

I think I need to go revisit some of my PRs...

[ Parent | on HN ]

Re:Ty: A fast Python type checker and language server by _carljm on Wednesday May 07, 2025 @08:12PM (#43921769)

I knew we left something important out of that onboarding document

[ Parent | on HN ]

Re:Ty: A fast Python type checker and language server by renmillar on Thursday May 08, 2025 @08:26AM (#43925458)

Why don't you just run ty on the ty codebase and let it tell you which errors are correct and which are erroneous?

[ Parent | on HN ]