Java 7 需要类型推断吗？

请点击此链接查看英文原文。

连续几周以来，Java 社区一直为是否向 Java 7 加入类型推断（Type Inference）的概念争论得热火朝天，Remi Forax 撰写了一篇博客文章详细阐述对两个很有人气的提议的 javac 补丁。其中一个提议来自 James Gosling，称为“Algol”，使用:=的语法来标识声明：

s := "String";

另一个提议来自 Peter Ahe 和 Christian Hansen，使用final关键字：

final s = "String";

两种提议都存在副作用，都会使局部变量变成 final。有不少开发人员对这个特性持反对意见：

在某些语言中，类型推断确实存在意义，比如 JavaScript 和 PHP 就是围绕着它构建的，它们自打诞生第一天就具备这个特性 了。但是，它对于 Java 这样围绕着其相反方式构建的语言而言，毫无意义。看起来它好像让 Java 类型变得弱化了，但事实上并非如此。实际上，如果有什么 不同的话，那就是它会使得 Java 变得更加强类型，因为比如说你必须指名一个 Map 变量的类型为 HashMap 或者 TreeMap，而仅仅是 Map……该 是时候停止往 Java 语言内加入新特性了。我不是说这些特性不对，而只是说它们不适合这门语言。Java 语言早就浮肿不堪了。我不是说泛型 （Generics）、类型推断、闭包（Closures）、编译器创建的工厂方法和其它 Kitchen Sink 提案搞糟透顶，它们不是那样的。我只是说它们仅仅不适合或者符合目前的核心语言，我们每加进一个，语言就变得更糟，而不是更好。

讨论引出这样的一个问题：到底 Java 7 应当让 Java 语言保持原样，还是应当另外加入一些语言构造，比如类型推断和闭包呢？