Re:Ty: A fast Python type checker and language server
by the_duke on Thursday May 08, 2025 @01:55AM
(#43923456)
Compilation / type checking depends on a lot of trees of typed data, and operating on those tree nodes. That's something where a statically typed language with custom data structures that allows for optimised representations makes a big difference, and where a lot of the fancy optimisations in v8 don't work so well.
There is a reason Typescript moved to a typed language.
Re:Ty: A fast Python type checker and language server
by mil22 on Thursday May 08, 2025 @06:44PM
(#43932105)
Let's hope you're right and that translates to even higher performance for Ty compared to Pyright. There are of course many variables and gotchas with these sorts of things.
There is a reason Typescript moved to a typed language.