MANIFOLD
Will Ruff (astral) publish a mypy ~compatible type-checker beta by January 2025?
7
Ṁ370Ṁ775
resolved Jan 5
Resolved
NO

Market context
Get
Ṁ1,000
to start trading!

🏅 Top traders

#TraderTotal profit
1Ṁ200
2Ṁ84
3Ṁ45
4Ṁ8
Sort by:

I bet NO on every tech related market, and every time I do it, I'm right.

I think this should resolve NO. Astral has been working on a type checker called Red Knot since April and their unfinished code is available on GitHub, however it's still very incomplete. For example, checking function call arguments is still being worked on and wildcard imports are not implemented. Therefore, I think it doesn't qualify as a beta at this point and cannot be considered "mypy ~compatible" either.

@NetanelHaber Can you please resolve this market?

@mods It seems the creator is inactive, can you please consider resolving this question?

© Manifold Markets, Inc.TermsPrivacy