WingNews logo WingNews
top | item 46295289

(no title)

frou_dh | 2 months ago

Hopefully it gets added to this comparison:

https://htmlpreview.github.io/?https://github.com/python/typ...

If that table is anything to go by, Pyright is not to be underestimated.

I have briefly tried ty (LSP) in Emacs and it seems to work well so far. The only questionable thing I've encountered is that when the signature of a method is shown, the type annotations of some parameters seem to be presented in a particularly verbose form compared to what I'm used to - maybe they're technically correct but it can be bit much to look at.

Anyway, odds are pretty good that ty is what I will end up using long-term, so thanks and congrats on releasing the first beta!

discuss

order

hauntsaninja|2 months ago

Note: while spec conformance is important, I don't recommend using it as the basis for choosing a type checker. It is not representative of the things that most users actually care about (and is not meant to be).

(I was on the Python Typing Council and helped put together the spec, the conformance test suite, etc)

SmileyKeith|2 months ago

Can you add some examples of the things users care about that aren't well covered by this? I empathize with everyone who wants a feature comparison chart so they can be confident switching without unknowingly losing important safety checks.

_carljm|2 months ago

We'll be adding ourselves to that table soon. We'll have some work to catch up with pyright on conformance, but that's what the time between now and stable release is for.

progbits|2 months ago

pyright is very good, but there is also https://docs.basedpyright.com/latest/ which improves on it further.

That said I'm very happy user of uv, so once Ty becomes ready enough will be happy to migrate.

conception|2 months ago

Basedpyright plus any AI generated python is a hellscape unless you use hooks and have a lot of patience.

IshKebab|2 months ago

Pyright is really really good. Anyone that doubts that 10x engineers exist, just go and look at Eric Traut. He's pretty much written it single handedly. Absolute machine.

Mypy is trash. Nice to have a table to point to to prove it.

buibuibui|2 months ago

Oh my, I just looked him up. He is the developer of Virtual Game Station - a PS1 emulator that I used in the past to play PS Isos on my Windows ME PC! What a legend.

davidhalter|2 months ago

Mypy is not trash at all. It is still the most precise type checker, supports a lot of complicated cases and has plugins that make a lot of things more type safe. I believe Mypy is severely underrated and a lot of people believe that it's not as good as Pyright because of the conformance tests.

The problem is that the conformance tests were mostly written by Eric Traut, so there's a natural bias towards specifying what Pyright does well. There's a lot of things Mypy does really well that should probably be implemented in Pyright.

WD-42|2 months ago

Pyright has been great. But it’s slow. Speed of a LSP does matter for UX. Excited to see how much ty improves on this.

morkalork|2 months ago

Is it wrong to to say that I don't like pyright on principle because it requires node.js and npm to install and run?

wiz21c|2 months ago

I think it is way to slow too. The one from microsoft (pylance IIRC) is better in my opinion.

linhns|2 months ago

Pyright is a type checker, not a LSP per se in my opinion. ty is both.