Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

Announcing the Beta release of ty

astral.sh

Post reply on HN
Print view View original

41–50 of 181 posts

Re: Announcing the Beta release of ty

#41

Post by hauntsaninja »

frou_dh wrote: post #6

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 partic…

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)

Re: Announcing the Beta release of ty

#43

Post by hauntsaninja »

shrumm wrote: post #36

Thanks Astral team! We use Pydantic heavily, and it looks like first class support from Ty is slated for the stable release, we'd love to try it. While we wait... what's everyone's type checking setup? We run both Pyright and Mypy... they catch different errors so we've kept both, but it feels redundant. https://htmlpreview.github.io/?https://github.com/python/typ... suggests that Pyright is a superset, which hasn't…

Mentioned this in another comment, but the spec conformance suite is not representative of the things users care about (nor is it meant to be).

The spec mostly concerns itself with the semantics of annotations, not diagnostics or inference. I don't really recommend using it as the basis for choosing a type checker.

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

Re: Announcing the Beta release of ty

#44

Post by amanzi »

klysm wrote: post #21

I really hope astral can monetize without a highly destructive rugpull, because they are building great tools and solving real problems.

"pyx" is their first commercial offering: https://astral.sh/pyx

I agree though. Hope this is successful and they keep building awesome open-source tools.

Re: Announcing the Beta release of ty

#48

Post by SmileyKeith »

hauntsaninja wrote: post #41
frou_dh wrote: post #6

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 partic…

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)

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.

Re: Announcing the Beta release of ty

#49

Post by hexo »

sails01 wrote: post #45

Is there any study that shows that typing in Python improves code quality and reduce runtime issues?

Well, it's just a documentation suggestion for user. Having for me about same value as if it was written in pydoc. I'd really love to see such study as well

Re: Announcing the Beta release of ty

#50

Post by conception »

progbits wrote: post #18
frou_dh wrote: post #6

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 partic…

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.

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