[ddxv]

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?

[rirze]

If 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]

Isnt there correctness with Zuban?

[x187463]

Speed, especially in larger codebases.

[winrid]

Mypy still best for Django

[lastofus]

As a long time Django user that wants to start using typing, can you elaborate on why mypy is still the way to go?

[infamia]

There's a really nice typing plug-in for mypy that's been around a long time: 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]

Pyrefly's Django support is documented here: https://pyrefly.org/en/docs/django/

I believe Zuban also has some form of Django support, but I'm unable to locate the docs