Type inference of parameters

[Stephen Colebourne]

The latest (6 July) lambda document includes type inference of formal
parameters (section 4). I support this decision.

Without this, I fear we risk creating something akin to the wide lines
of generics that are being simplified with the diamond operator. So
long as a user can choose to write the type if they wish, I suspect
most users will be happy.

The exact mechanism for calculating the type inference does seem
tricky as Neal indicates. I'd want to see more detail on how it would
work in complex cases around method overloading. Like Neal, I'd want
type inference to work in all cases (as corner cases are what users
complain about).

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

Stephen