Type inference of parameters

[Brian Goetz]

> Can I suggest we use this thread for discussions on type inference?

Yes.  I, for one, am in favor of type inference :)

Type inference is a key underlying motivator for a number of JDK 7 language 
changes, including lambda and diamond.  We are all about static typing, but 
that doesn't mean that the user has to laboriously write out every single type 
declaration when it is obvious from the context.