> the idea that static typing will solve all our problems, or even one specific problem: The ubiquity of broken software Citation needed. Most proponents of s

> the idea that static typing will solve all our problems, or even one specific problem: The ubiquity of broken software Citation needed. Most proponents of static typing, myself includes, have much more modest claims: that is saves time spent by developers on smaller, more mundane errors. That it makes refactoring easier. That it allows for better IDE support like autocompletion and hover-over documentation. Even if these advantages are modest compared to fixing "broken software", they're still huge and worth the increasingly minor annoyances of modern static type systems, many times over.