It's not just about that, but also about catching when people are doing type fuckery (that's really the best term I can come up with), i.e., doing silly things

It's not just about that, but also about catching when people are doing type fuckery (that's really the best term I can come up with), i.e., doing silly things with the type system. I have one particular co-worker who's particularly bad when it comes to this. Also, while it works almost miraculously well as-is, type annotations would make the likes of Jedi much better. It might not seem like a big thing, but autocompletion is really useful with larger codebases and libraries you don't necessarily use every day. There's very little extra cost with this over and above what's currently there. All it's doing is formalising something people have been doing in docstrings for decades already.