The author addresses that point extensively in the second half of the article, beginning around this part: Now if we are to accept all of this, that opens up a

The author addresses that point extensively in the second half of the article, beginning around this part: Now if we are to accept all of this, that opens up a different question: If we are indeed searching for that sweet spot, how do we explain the vast differences in strength of type systems that we use in practice? The answer of course is simple (and I'm sure many of you have already typed it up in an angry response). The curves I drew above are completely made up. Given how hard it is to do empirical research in this space and to actually quantify the measures I used here, it stands to reason that their shape is very much up for interpretation.