Re: Type inference side effects

[Krux02]

I am sorry to say this, but your comment seems a lot to be a troll post. To me 
you just want as many people as possible in a discussion with the least amount 
of effort, and then lean back and enjoy. Every programming language has type 
inference except dynamically typed languages and Java. And even that one has a 
very weak form of type inference with the diamond operator. I honestly doubt 
that you really don't know the benefits of type inference.