4 ms·
I've used mypy forever and never even tried these others. Looking at them though it looks like it's worth trying out Zuban or Pyright? Is there a noticeable be
by ddxv 7mo ago
I've used mypy forever and never even tried these others. Looking at them though it looks like it's worth trying out Zuban or Pyright? Is there a noticeable benefit when switching between different checkers?
- x187463 7mo agoSpeed, especially in larger codebases.
- rirze 7mo agoIf you care about correctness, unless you pick pyright, don't bother at the moment. If you're creating a new project and looking for a promise for better faster typing, then pick one of Zuban, Pyrefly, or ty.
- fastasucan 7mo agoIsnt there correctness with Zuban?
- winrid 7mo agoMypy still best for Django
- lastofus 7mo agoAs a long time Django user that wants to start using typing, can you elaborate on why mypy is still the way to go?
- vesselapi 7mo ago[dead]
- infamia 7mo agoThere's a really nice typing plug-in for mypy that's been around a long time: https://github.com/typeddjango/django-stubs https://github.com/typeddjango/django-stubs It is very disappointing that these new type checkers don't support plug-ins, so things like django-stubs aren't possible. That means you're stuck with whatever is delivered with these new type checkers. It must be really difficult since none of them support plug-ins. Some of these newer type checkers promise support for Django, but you're stuck with what they (will) have on offer. Also, you'll likely want typing for other libs you might use.
- ocamoss 7mo agoPyrefly's Django support is documented here: https://pyrefly.org/en/docs/django/ https://pyrefly.org/en/docs/django/ I believe Zuban also has some form of Django support, but I'm unable to locate the docs