This is an interesting post. I worry though that Odersky's point can make people think that there are only two kinds of type: static, or dynamic. James Iry did

This is an interesting post. I worry though that Odersky's point can make people think that there are only two kinds of type: static, or dynamic. James Iry did an amazing overview of the nuances of various kinds of type systems on his Types à la Chart. [1] http://james-iry.blogspot.com/2010/05/types-la-chart.html http://james-iry.blogspot.com/2010/05/types-la-chart.html