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.

Technology

Technical AI Timelines

OpenAI

GPT-5 Speculation

Get

1,000

to start trading!

🏅 Top traders

#	Name	Total profit
1		Ṁ67
2		Ṁ12

People are also trading

Will GPT-5 be released before Aug 2025?

48% chance

Will python without GIL be released before end of 2025?

99% chance

Will Python 4 be released before 2030?

14% 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's new No-GIL become officially supported before 2026?

77% chance

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

50% 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?

Sort by:

1mo

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.

2mo

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

bought Ṁ85 YES2mo

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.

5mo

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.