Latest posts tagged with #pyrefly on Bluesky
With high-performance #Python type checkers like #Pyright, #Pyrefly, and #ty now available, what's the value proposition of #Mypy? Is it the reference implementation? Or does Mypy still have the most features? I'm not trying to knock Mypy, I'm genuinely asking because I don't know.
Mypy remains the most widely used type checker at 58%, dipping slightly from 61% last year but still leading the ecosystem.
Rust-based tools like #Pyrefly, #Ty, and #Zuban are gaining momentum, collectively accounting for over 20% of usage.
PyCharm 2025.3 adds new LSP integrations: #Ruff, #Ty, #Pyright, and #Pyrefly.
Get improved formatting, type checking, and inline type hints right in your workflow.
See what’s new 👉 https://jb.gg/lxopnj
PyCharm 2025.3 is here!
🚚 Smooth migration from Community to the unified PyCharm
🧪 #Jupyter notebooks support in remote development
⚙️ #uv as default env manager
📊 Proactive data exploration
🔧 New LSP tools (#Ruff, #Ty, #Pyright, #Pyrefly)
🤖 New #Claude Agent
🛠️ 300+ fixes
More 👉 jb.gg/pcwn
#python
Well … I get symbol renaming if I use #BasedPyright as my #LSP
#Pyrefly #AdventOfCode
It seems like my #Pyrefly problem isn’t related to my #AdventOfCode project. Before pyrefly, I could rename a symbol throughout the project. With pyrefly, I can’t. More investigation needed.
🎙️ Python Bytes 451: Databases are a Fad
with @mkennedy.codes and @brianokken.bsky.social
pythonbytes.fm/episodes/sho...
#Python #pytest #testing #postgresql #pyrefly
#pyrefly found at pyrefly.org is a new one written in rust and is created by #meta open source.
#ty found at buff.ly/rJg94P5 is created by astral-sh (creators of #ruff and #uv) and is also written in rust. Note: this isn't ready for production yet.
Have you tried any of the new kids on the block?
Introducing #Pyrefly: Meta's new #opensource #Python type checker, crafted in Rust for maximum performance!
Pyrefly is intended to replace the OCaml-based Pyre type checker previously used for Instagram’s codebase.
Find out more: bit.ly/4jIi3a1
#InfoQ #Meta #RustLang #TypeChecking
