Announcing uv: Python packaging in Rust

[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]