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.