Pyrefly: Python type checker and language server in Rust
1–10 of 150 posts
Re: Pyrefly: Python type checker and language server in Rust
#2Another one I recently discovered and that has a very active maintainer is "zuban" or zuban-ls. It has replaced jedi-language-server for me, and aims to replace mypy as well.
Re: Pyrefly: Python type checker and language server in Rust
#3Another one I recently discovered and that has a very active maintainer is "zuban" or zuban-ls. It has replaced jedi-language-server for me, and aims to replace mypy as well.
Yeah, there are now 3 competitors and they all written in Rust:
- zuban
- ty (from ruff team)
- pyrefly
One year ago, we had none of them, only slow options.
Re: Pyrefly: Python type checker and language server in Rust
#4Another one I recently discovered and that has a very active maintainer is "zuban" or zuban-ls. It has replaced jedi-language-server for me, and aims to replace mypy as well.
Yeah, there are now 3 competitors and they all written in Rust: - zuban - ty (from ruff team) - pyrefly One year ago, we had none of them, only slow options.
Basedpyright is not rust but it's a fork of pyright with added features that are otherwise locked in vscode
Re: Pyrefly: Python type checker and language server in Rust
#5Earlier quoted context omitted.
Yeah, there are now 3 competitors and they all written in Rust: - zuban - ty (from ruff team) - pyrefly One year ago, we had none of them, only slow options.
Basedpyright is not rust but it's a fork of pyright with added features that are otherwise locked in vscode
It's written in Typescript, which is a super weird choice.
Re: Pyrefly: Python type checker and language server in Rust
#6[dead]
Re: Pyrefly: Python type checker and language server in Rust
#7Earlier quoted context omitted.
Yeah, there are now 3 competitors and they all written in Rust: - zuban - ty (from ruff team) - pyrefly One year ago, we had none of them, only slow options.
Basedpyright is not rust but it's a fork of pyright with added features that are otherwise locked in vscode
It's also horrible for fasle positives unless your project happens to be the exact same setup as the maintainers' - I had to turn off the actual type checking on it. I've since moved wholesale to the Ty alpha and it feels a hell of a lot smarter.
Re: Pyrefly: Python type checker and language server in Rust
#8Another one I recently discovered and that has a very active maintainer is "zuban" or zuban-ls. It has replaced jedi-language-server for me, and aims to replace mypy as well.
Yeah, there are now 3 competitors and they all written in Rust: - zuban - ty (from ruff team) - pyrefly One year ago, we had none of them, only slow options.
it'll be like python package managers and js web frameworks.... a new one every quarter
Re: Pyrefly: Python type checker and language server in Rust
#9Anyone know how this compares to 'ty': a new typechecker from Astral (uv/ruff team), also written in Rust and super fast. I had been waiting on it to reach beta, but would love to move to something faster than pyright sooner if possible.
Re: Pyrefly: Python type checker and language server in Rust
#10Anyone know how this compares to 'ty': a new typechecker from Astral (uv/ruff team), also written in Rust and super fast. I had been waiting on it to reach beta, but would love to move to something faster than pyright sooner if possible.
Pyrefly vs. ty: Comparing Python’s Two New Rust-Based Type Checkers (2025-05-27)
https://blog.edward-li.com/tech/comparing-pyrefly-vs-ty/
HN discussion of above: https://news.ycombinator.com/item?id=44107655
How Well Do New Python Type Checkers Conform? A Deep Dive into Ty, Pyrefly, and Zuban (2025-08-29) https://sinon.github.io/future-python-type-checkers/