Will Astral publish a Python type checker on PyPI before the end of 2025?
Basic
1
Ṁ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,000and
3.00
1,0003.00Sort 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 Ruff (astral) publish a mypy ~compatible type-checker beta by January 2025?
14% chance
Will GPT-5 be released before Aug 2025?
46% chance
Will there be a Python implementation of the Open Game Engine (a Compositional Game Theory Model Checker) before 2028?
50% chance
Will Python be replaced as the go-to programming language for AI development by the end of 2040?
84% chance
Will Python's new No-GIL become officially supported before 2026?
77% chance
Will an AI implement a Python PEP by 2024?
12% chance
When will Python 3.15 be released?
2026
PyPL Index at the end of 2027
Will python without GIL be released before end of 2025?
95% chance
There will be a Python6.9 before the year 2069
13% chance