Will Astral publish a Python type checker on PyPI before the end of 2025?
1
100Ṁ1002026
80%
chance
1D
1W
1M
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.
This question is managed and resolved by Manifold.
Get
1,000 to start trading!
1,000Sort by:
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.
Related questions
Related questions
Will python without GIL be released before end of 2025?
95% chance
Will an AI implement a Python PEP by 2024?
12% chance
Will Python 4 be released before 2030?
23% chance
Will there be a Python implementation of the Open Game Engine (a Compositional Game Theory Model Checker) before 2028?
50% chance
Will Python's new No-GIL become officially supported before 2026?
77% chance
Will Python be replaced as the go-to programming language for AI development by the end of 2040?
84% chance
Will GPT-5 be released before Aug 2025?
77% chance
In what year will Python 4.0 be released?
When will Python 3.15 be released?
2026
PyPL Index at the end of 2027