LJC Lambdas Hackday

[Richard Warburton]

> I think the point is that since type inference = implicit typing, when
> inference succeeds, there's a danger that the developer and the
> compiler have different ideas of the actual types. The smarter the
> inference is, the more likely that'll happen.

Whilst I somewhat agree with this point, its always worth bearing in
mind the context of that the programmer is working in.  If the
compiler can quickly infer a type, that means an IDE can quickly infer
a type.  If the user is unsure, or if there are unexpected results
then they can mouseover and see what has been inferred.  Its really
important whenever you have inference to give some kind of clear
feedback as to what (and preferably why) something has been chosen.

regards,

  Richard