Pyrefly: Python type checker and language server in Rust

Re:Pyrefly: Python type checker and language server in Rust by jswny on Tuesday October 14, 2025 @10:36AM (#45580588)

At least for Ty, not sure about the others, it is explicitly for type checking, exposed as an LSP. It’s not trying to compete with full LSP implementations. Most modern editors let you combine multiple LSPs, you shouldn’t think of them as using only one at a time

[ Parent | on HN ]

Re:Pyrefly: Python type checker and language server in Rust by ehsanu1 on Tuesday October 14, 2025 @01:03PM (#45582386)

Do you assign different responsibilities to different LSP servers when there multiple I suppose?

[ Parent | on HN ]

Re:Pyrefly: Python type checker and language server in Rust by charliermarsh on Tuesday October 14, 2025 @01:32PM (#45582673)

We actually do want ty to be a first-class LSP (i.e., a complete alternative to Pylance and others), and it already supports nearly all of the features you'd expect. I use it as my primary LSP today in lieu of Pylance!

[ Parent | on HN ]

Re:Pyrefly: Python type checker and language server in Rust by jswny on Wednesday October 15, 2025 @05:36AM (#45590020)

Good to know, I had no idea!

[ Parent | on HN ]

Re:Pyrefly: Python type checker and language server in Rust by sirfz on Tuesday October 14, 2025 @02:28PM (#45583206)

I understand your confusion because at first look it seems like it's just a type checker (same issue with pyrefly and zuban) hence my comment about bringing forward the fact it's a fully featured lsp

[ Parent | on HN ]