Typing also acts as a form of documentation. You know a certain function expects arguments of certain types and returns values that we expect to have a certain behavior.
I totally agree about the benefits of static typing. But I'm pretty sure that "static typing advocates" also know how their IDE benefits from static typing. It's actually their foremost argument.
In my experience it is the correctness argument that is at the forefront which is the logical and proof-theoretic connection and I think this is the least convincing part but it is usually at the top of the list. Or maybe that is the part I notice because I don't think it's convincing.
We're a place where coders share, stay up-to-date and grow their careers.
We strive for transparency and don't collect excess data.