News for hackers. Stuff that matters.
Re:Ty: A fast Python type checker and language server by akdor1154 on Wednesday May 07, 2025 @06:16PM (#43921077)
Yeah.. Have either of the ty / pyrefly teams reached out to the other? I feel like the community does not really need two fast python type checkers.

(However, vc-backed astral probably need control over theirs to keep monetization options open, and Facebook probably need control over theirs so it can be targeted at Facebook's internal cool-but-non-standard python habits... Sigh.

Why do we have nice things? Money. Why can't we have nice things? Also money.)

Re:Ty: A fast Python type checker and language server by _carljm on Wednesday May 07, 2025 @06:43PM (#43921264)
Yes, we've talked; I know a number of the pyrefly devs well. Ty had already been months in development when pyrefly development started. We discussed collaboration, but they decided they needed to do their own thing in order to move quickly and ensure it would serve their needs, which is totally reasonable.
Re:Ty: A fast Python type checker and language server by digdugdirk on Thursday May 08, 2025 @08:26AM (#43925459)
It looks like both projects seem to use Ruff at their core, is there any documentation that describes the differences in each project's approach?
Re:Ty: A fast Python type checker and language server by theLiminator on Thursday May 08, 2025 @12:48PM (#43928108)
I believe the only sharing is parsing/ast.