On: Type inference has usability problems

[jcelerier]

> Languages like Java and C++ don't work that way, and they're the ones being decried for having to spend too much time writing out redundant types.

and yet as soon as you introduce auto you've got the mob bringing out the pitchforks :-)