Will Astral publish a Python type checker on PyPI before the end of 2025?

Ṁ100Ṁ410

resolved May 6

Resolved

YES

ALL

https://astral.sh/, the company behind Ruff and UV.

Alpha and beta releases qualify for this market. I chose "publish on PyPI" because they will almost certainly publish there when they publish anything at all.

I will not bet on this market.

Market context

Technology

Technical AI Timelines

OpenAI

GPT-5 Speculation

Get

1,000

to start trading!

🏅 Top traders

#	Trader	Total profit
1		Ṁ67
2		Ṁ12

People are also trading

Astral maintains uv Python package manager for free through 2027?

57% chance

Will Python 4 be released before 2030?

12% chance

Will there be a Python implementation of the Open Game Engine (a Compositional Game Theory Model Checker) before 2028?

50% chance

Will Python 3.12 reach 85% readiness before end of life?

52% chance

Will Python 3.10 reach 90% readiness before end of life?

55% chance

Will Python 3.11 reach 85% readiness before end of life?

52% chance

Will Python be replaced as the go-to programming language for AI development by the end of 2040?

84% chance

Will I still consider uv the best Python package manager at the end of 2026?

82% chance

In what year will Python 4.0 be released?

When will Python 3.15 readiness reach 75%?

Sort by:

Upcoming tool called "ty":

https://www.youtube.com/watch?v=XVwpL_cAvrw

Also parked on PyPI:

https://pypi.org/project/ty/#description

@SamuelDG There is an alpha release to the ty PyPI project. That resolves this question.

I just found that there is an interactive playground for Red Knot at playknot.ruff.rs

bought Ṁ85 YES

It seems that Astral is making plans for releasing an alpha version. They have created a Red Knot Alpha milestone on GitHub with due date set to 17 May 2025. As usual with software projects, it's quite likely that they will miss that deadline, but even if there are delays, there is still plenty of time till the end of the year.

Astral has been working on a type checker inside Ruff since April 2024. They are calling it "Red Knot" and you can track their progress by looking at issues and PRs labeled red-knot.