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.

The results of the 2025 Python Typing Survey are in!

📈 86% of developers rely on type hints regularly
🛠️ #Mypy, #Pyright / #Pylance, and #Pydantic are the most used type-checking tools
✨ Top benefits: better IDE support, bug prevention, and documentation

Find more stats in this thread ⬇️

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

What's New in PyCharm 2025.3 A unified IDE, support for Jupyter notebooks in remote development, uv as default, proactive data exploration, new LSP tools, Claude Agent, and more!

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

The blog is written in jupytext, so it's all Python code with comments translated to Markdown. All the code examples are also linted using ruff, and type checked using pyright. Even the example errors are checked for the correct error 🥰 #python #ruff #pyright

Pyright: A Static Type Checker for Python (Install + Use) Python is the most popular programming language in the world, as it provides great flexibility and simplicity to write and build big applications on AI/ML, automation, web apps, desktop, etc. The post Pyright: A Static Type Checker for Python (Install + Use) appeared first on Linux Today.

Pyright: A Static Type Checker for Python (Install + Use) | Linux Today Python is the most popular programming language in the world, as it provides great flexibility and simplicity to write and build big applications on AI/ML, automation, web apps, desktop, etc.

Pyright: A Static Type Checker for Python (Install + Use) Python is the most popular programming ...

www.linuxtoday.com/blog/pyright-a-static-ty...

#Blog #Microsoft #Pyright

Result Details

#pyright is better than #mypy out of the box.

Incorrectly `reportIncompatibleMethodOverride` when a base class method returns a string literal · Issue #9648 · microsoft/pyright Describe the bug The short version is this error: Return type mismatch: base method returns type "Literal['']", override returns type "str" The long version is, the base class's method does not hav...

Let's see if an issue gets traction: https://github.com/microsoft/pyright/issues/9648

#pyright #Python

Does this #pyright error strike any other #Python peeps as wrong?

“Return type mismatch: base method returns type "Literal['']", override returns type "str""

It's giving me a type error when I override a method that returned a literal string with a string I construct. That doesn't make any sense.

github.com/sbdchd/djang... contains a lot of interesting things which one should do for proper #type #checking on #django projects. #pyright #basedpyright #python

Original post on twiukraine.com

Вийшла нова версія #pyright

> Added experimental support for multithreaded type checking in CLI. You can now specify `--threads` followed by an optional thread count.

```
> time pnpm dlx pyright@latest --level error
49.19s user 1.73s system 135% cpu 37.592 total

> time pnpm dlx […]

Original post on twiukraine.com

Вийшла нова версія #pyright

> Added experimental support for multithreaded type checking in CLI. You can now specify `--threads` followed by an optional thread count.

```
> time pnpm dlx pyright@latest --level error
49.19s user 1.73s system 135% cpu 37.592 total

> time pnpm dlx […]

If `pyright --verifytypes yourapp` cannot find `py.typed` marker for your package, you probably need to set PYTHONPATH="." (or "src", to a pathc where your module is located).

#python #pyright

Pyright: A Static Type Checker for Python (Install + Use) Pyright is a free and open-source static type checker developed by Microsoft for Python that is written in TypeScript and runs with Node.

#Pyright: A Static Type Checker for #Python (Install + Use)
linuxtldr.com/installing-p...