News for hackers. Stuff that matters.
Re:Pyrefly by koakuma-chan on Tuesday April 29, 2025 @11:04AM (#43833671)
> Are those results wrong?

I don't know. Some packages just don't work with type checkers, e.g. Django.

Re:Pyrefly by masklinn on Tuesday April 29, 2025 @11:17AM (#43833839)
Django has a community stubs project, are you using it?
Re:Pyrefly by etimberg on Tuesday April 29, 2025 @02:55PM (#43836584)
the stubs can only do so much. There's so much magic and inferred properties that a type checker will never be able to fill in alone
Re:Pyrefly by aitchnyu on Wednesday April 30, 2025 @02:03AM (#43841731)
Does django-stubs work with other type checkers than Pyright?
Re:Pyrefly by masklinn on Sunday May 04, 2025 @03:32AM (#43885182)
Stubs are a standard python feature (PEP 561) so I'd expect them to work with any type checker which supports stubs, which should be all of them (as much of the ecosystem is typed via stubs).