I see the "you need to write less tests because static typing" statement thrown around a lot (including the article), but haven't seen any detailed discussion on why that would be so, could someone point me to a more in-depth look at that?
To see this pushed to the extreme, and to have a glimpse of the future, check out Edwin Brady's book "Type Driven Development with Idris": https://www.manning.com/books/type-driven-development-with-i... - I don't expect this style of programming to become the norm until at least another several years, but it essentially allows you to push all behavioral specifications into the types, rendering most unit testing tests obsolete. Of course I would still have smoke and integration tests to for sanity checking sake.