News for hackers. Stuff that matters.

A comment on Pyrefly. Parent comment

Re:Pyrefly by masklinn on Tuesday April 29, 2025 @11:17AM (#43833839)
Django has a community stubs project, are you using it?
[ Parent | on HN ]
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
[ Parent | on HN ]
Re:Pyrefly by aitchnyu on Wednesday April 30, 2025 @02:03AM (#43841731)
Does django-stubs work with other type checkers than Pyright?
[ Parent | on HN ]
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).
[ Parent | on HN ]