I agree that it's not easy to explain this to other people, and Python tooling in general is pretty terrible. OTOH, having types in the code and giving newcomers to the codebase the ability to actually see what types "flow" through functions, and having the ability to "Go to definition" is a big benefit for introducing old Python code to newcomers.
One thing I liked about the post was I can sell some of the suggestions to the non-engineer Python users I work with. Types in signatures and data classes are big wins overall.
While I miss working with OCaml, Python's pay-as-you-go style of typing meets many users where they're at.
