It's great to see so much innovation in this area. But, seeing that you will charge for this - what will you provide that won't be covered by free alternatives in e.g. Ty (Astral) or Pyre (Meta), which similarly seem to be "mypy but in rust and maybe lsp features"?
davidhalter 23 minutes ago [-]
If I'm perfectly honest, I don't know yet. I'm currently pretty open to any model that ensures long-term survival of the project. Some people might be interested because it can be used as a replacement for Mypy and I'm willing to solve the issues they have in their 1mLoC+ codebases. It is absolutely non-trivial at this point to replace Mypy with Pyright or vice-versa in a larger codebase.
drcongo 3 hours ago [-]
Last time I tried ty and pyre they weren't particularly great with a Django codebase, I'm sure ty will get there at some point, but if this handles django-stubs without any extra faffing, that's one potential selling point.
I did have the same thought as you at first though, and only carried on reading when I spotted that it was from the author of Jedi.
davidhalter 16 minutes ago [-]
Django compatibility could definitely be a selling point, but I haven’t built a dedicated Django plugin yet. Right now, I’m prioritizing features like auto-completion and go-to-definition, which I think are more impactful in the short term.
The thing is, both Ty and PyreFly aren’t really close to the level of Mypy or Pyright — neither in terms of features nor stability. ZubanLS already covers the important features, though there are still some bugs I’m working through. So in that sense, yes: At the moment the selling point is that it just works.
Grikbdl 3 hours ago [-]
Both ty and Pyre are in development, so maybe the answer is just "this works and they don't". But they do promise to work eventually, like end of year if I recall correctly. I don't know what makes Django special in this regard though - is it the ORM models that don't work well with the typing spec or..?
ehutch79 3 hours ago [-]
There's a lot of magic in Django, and yes that's particularly around the ORM.
The foreign key stuff and missing reverse relations in types a big issue, but there's other stuff like warning about class Meta: being incompatible because you're inheriting an abstract model.
I'm yet to find a good guide on how to handle typing a django project, even if only to get vscode to do autocomplete.
drcongo 3 hours ago [-]
I don't know anywhere near enough to answer that with any confidence I'm afraid. I'd like to hear op's opinion though.
dcreater 2 hours ago [-]
Any reason to use and pay for this instead of pyrefly and ty?
(Relative maturity wouldn't be a good enough reason as those projects will progress quickly enough and both have great, solid, well backed teams behind them)
I did have the same thought as you at first though, and only carried on reading when I spotted that it was from the author of Jedi.
The thing is, both Ty and PyreFly aren’t really close to the level of Mypy or Pyright — neither in terms of features nor stability. ZubanLS already covers the important features, though there are still some bugs I’m working through. So in that sense, yes: At the moment the selling point is that it just works.
The foreign key stuff and missing reverse relations in types a big issue, but there's other stuff like warning about class Meta: being incompatible because you're inheriting an abstract model.
I'm yet to find a good guide on how to handle typing a django project, even if only to get vscode to do autocomplete.
(Relative maturity wouldn't be a good enough reason as those projects will progress quickly enough and both have great, solid, well backed teams behind them)