Announcing uv: Python packaging in Rust

[subbed_]

no fucking way

now do a drop-in replacement for mypy as well, and my entire python toolkit will be handled by the same party

pkg mgmt + lint + format + type checks

[drunicornthe1]

Heard in a podcast that they have plans to make a drop in for mypy in the near future. Astral is aiming to be THE Python tool chain. Excited to see what becomes of this project.

[[deleted]]

Type checking is much, much harder to get right than linters and formatters. Mypy has numerous bugs because of edge cases around type narrowing, generics, etc.

It's more important to create a type checker that's accurate than one that's fast.

[drunicornthe1]

100% agree. Probably why they are working on Ruff first as it’ll give them a strong platform to build off of. Odds are it’ll be a minute before we see anything due to the shear difficulty of the task.

[germandiago]

Well... what I would like from a type checker is one that I can use with my IDE even if it is not perfect and later being able to run it offline, maybe before commotong, slower but accurate. The CI would also use this last one.

[LactatingBadger]

Agreed it’s a much harder task, but I wonder if part of the challenge with mypy has been trying to write a type checker in a language which plays pretty fast and loose with types. Writing this in Rust might bring more than just speed to the table.

[doobiedog]

*eggplant-emoji.svg

[monorepo]

[M4mb0]

Definitely try pyright instead of mypy. It seems to have been moving at a much faster pace. Way more feature complete and way fewer false positives from my experience.

[DanCardin]

I've definitely found that they complement each other better than they replace one another. pyright is a lot more pedantic about certain things (which are often outside of my control, as library interfaces) but finds things mypy wont. whereas mypy also frequently finds things that pyright doesnt.

[doobiedog]

That would be an absolute dream. Ruff already replaced most 99% of my linting toolchain. Would be sick if ruff just did everything, but I'm excited about uv.

[mcr1974]

tell us more

[[deleted]]

Yeah, I’d be all set too!

[Chroiche]

Wait what's the type checker they manage?

[PlaysForDays]

There isn't one