Neat, Ruff's working on a type checker - that woul...
# randomw
wide-midnight-78598
03/14/2025, 6:54 PMNeat, Ruff's working on a type checker - that would be a great one to speed up - typechecking is horribly slow
https://github.com/astral-sh/ruff/blob/2bcd2b41470706fac9e9e995be3721caf2271b02/crates/red_knot/README.md
b
bitter-ability-32190
03/14/2025, 7:48 PMThere's also now pyrefly
w
wide-midnight-78598
03/14/2025, 7:50 PMI can’t recall, Facebook also made Pyre I’m guessing?
Thought it was google, but maybe theirs is a different one
wide-midnight-78598
03/14/2025, 7:51 PMpytypeb
bitter-ability-32190
03/14/2025, 9:09 PMYeah this is pyre reborn in rust
w
wide-midnight-78598
03/14/2025, 9:11 PMI remember back when saying you had a lib or tool that was "pure python" was a flex
wide-midnight-78598
03/14/2025, 9:11 PMoh how times have changed
h
happy-kitchen-89482
03/14/2025, 9:16 PMSo glad python is getting a fifth typechecker
happy-kitchen-89482
03/14/2025, 9:17 PMTo go with the 12 linters and 7 web frameworks
😂 1
w
wide-midnight-78598
03/14/2025, 9:17 PMWe need another linter, that's the problem - gotta keep the primes
b
bitter-ability-32190
03/14/2025, 9:39 PMIf someone makes another linter I'll make another type checker
w
wide-midnight-78598
03/14/2025, 10:38 PMIf someone makes another linter I'll make another type checker|Noooooooooooooooooooooooooooo
9 Views