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