Odersky on Scala's type inference

In case you stumble across this and find it interesting, it was also submitted a couple of days later, and attracted some comments:

http://news.ycombinator.com/item?id=2014182