What to Know Before Debating Type Systems (2008)

What to Know Before Debating Type Systems (2008)

A few comments off the top:

With that said, here is the original article:

I would be willing to place a bet that most computer programmers have, on multiple occasions, expressed an opinion about the desirability of certain kinds of type systems in programming languages. Many programmers approach the question of whether they prefer static or dynamic types by comparing some languages they know that use both techniques. The thing most obvious about the type systems of Java, C, C++, Pascal, and many other widely-used “industry” languages is not that they are statically typed, but that they are explicitly typed.

Source: cdsmith.wordpress.com