I'm desperate for better type checking in Python, and part of that is speed. So I'm very interested in these options

I recently started using uv based on a recommendation in another thread so I'll probably give ty a whirl sometime soon

Very interesting! I have been waiting for ty (or rather red-knot) for a long time. Still holding out for a few more features, probably end of year, before swapping over.