News for hackers. Stuff that matters.

A comment on Ty: A fast Python type checker and LSP. Parent comment

Re:Ty: A fast Python type checker and LSP by IshKebab on Tuesday December 16, 2025 @05:26PM (#46295481)
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.

[ Parent | on HN ]
Re:Ty: A fast Python type checker and LSP by buibuibui on Tuesday December 16, 2025 @05:34PM (#46295578)
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.
[ Parent | on HN ]
Re:Ty: A fast Python type checker and LSP by jimmydoe on Wednesday December 17, 2025 @07:40AM (#46301300)
Wat

Unbelievable

[ Parent | on HN ]
Re:Ty: A fast Python type checker and LSP by davidhalter on Thursday December 18, 2025 @09:06AM (#46312823)
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.

[ Parent | on HN ]