My opinion on static type systems is that, unless you're actually doing a more type driven development style and leveraging the type system, the single greatest

My opinion on static type systems is that, unless you're actually doing a more type driven development style and leveraging the type system, the single greatest benefit is IDEs will autocomplete for you, give you 'jump to' etc. Python without type annotations can be painful in an IDE - it chokes a lot on those features. Since I don't take a very type driven approach to Python (it would be too slow since I'd have to figure out 3rd party library types and shit like that) I just write annotations in places where I personally know the type. Mypy complains about this for various reasons - probably because my annotations are not technically correct, because I'm not a pro at generics in mypy and working out inheritance, as well as general mypy issues like poor support for class methods and that sort of thing. But I ignore all of those errors because the IDE can still work things out.