为Java说句话

有些人问我，在现有的语言里面，有什么好的推荐？我说：“Java。” 他们很惊讶：“什么？Java！” 所以我现在来解释一下。

Java超越了所有咒骂它的“动态语言”

　　也许是因为年轻人的逆反心理，人们都不把自己的入门语言当回事。很早的时候，计算机系的学生用Scheme或者Pascal入门，现在大部分学校用Java。这也许就是为什么很多人恨Java，瞧不起用Java的人。提到Java，感觉就像是爷爷那辈人用的东西。他们说，Java老气，庞大，复杂，臃肿。

　　某些Python程序员，在论坛里跟初学者讲解Python有什么好，其中一个原因竟然是：“因为Python不是Java！” 他们喜欢这样宣传：“看Python多简单清晰啊，都不需要写类型……” 对于Java的无缘无故的恨，盲目的否认，导致了他们看不到Java很重要的优点，以至于迷失自己的方向。虽然气势上占上风，然而其实Python作为一个编程语言，是完全无法和Java抗衡的。

　　在性能上，Python比Java慢几十倍。由于缺乏静态类型等重要设施，Python代码有bug很不容易察觉，察觉了也不容易debug，所以Python无法用于构造大规模的，复杂的系统。你也许发现某些startup公司的主要代码是Python写的，然而这些公司的软件，质量其实相当的低。在成熟的公司里，Python最多只用来写工具性质的东西，或者小型的，不会影响系统可靠性的脚本。

　　静态类型的缺乏，也导致了Python不可能有很好的IDE支持，你不能完全可靠地重构（refactor）Python代码。PyCharm对于早期的Python编程环境，是一个很大的改进，然而理论决定了，它不可能完全可靠地达到“变量换名”等基本的refactor操作。

　　在设计上，Python，Ruby比起Java，其实复杂很多。缺少了很多重要的特性，有毛病的“强大特性”倒是多了一堆。由于盲目的推崇所谓“正宗的面向对象”方式，所谓“late-binding”，这些语言里面有太多可以“重载”语义的地方，不管什么都可以被重定义，这导致代码具有很大的不确定性和复杂性。Python和Ruby代码很容易被滥用，不容易理解，容易写得很乱，容易出问题。

　　很多JavaScript程序员也盲目地鄙视Java，而其实JavaScript比Python和Ruby还要差。不但具有它们的所有缺点，而且缺乏很多必要的，方便的特性，比如基本的class定义都没有。JavaScript的各种“WEB框架”，层出不穷，似乎一直在推陈出新，而其实呢，全都是在黑暗里瞎蒙乱撞。JavaScript的社区以幼稚著称。你经常发现一些非常基本的常识，被JavaScript“专家”们当成了不起的发现似的，在大会上宣讲。我看不出来JavaScript社区开那些会议，到底有什么意义，仿佛只是为了拉关系找工作。

　Java的“继承人”没能超越它

　　最近一段时间，很多人热衷于Scala，Clojure，Go等新兴的语言，他们以为这些是比Java更现代，更先进的语言，以为它们最终会取代Java。然而这些狂热分子们逐渐发现，Scala，Clojure和Go其实并没有解决它们声称能解决的问题，反而带来了它们自己的毛病。这些毛病很多是Java没有的。

　　关于Go，我已经评论过很多了，有兴趣的人可以看这里。总之，Go是民科加自大狂的产物，这里我就不多说它了。

　　我认识一些人，开头很推崇Scala，仿佛什么救星似的。我建议他们别去折腾了，老老实实用Java。没听我的，结果到后来，成天都在骂Scala的各种毛病。但是没办法啊，项目上了贼船，不得不继续用下去。我不喜欢进行人身攻击，然而我发现一个语言的好坏，往往取决于它的设计者的水平，人品，和动机。很多时候我看人的直觉是异常的准，以至于依据对语言设计者的第一印象，我就能预测到这个语言将来会怎么发展。在这里，我想谈一下对Scala和Clojure的设计者的看法。

　　Scala的设计者Martin Odersky，虽然在程序语言领域有所建树，发表了不少看似高深的学术论文（ 其实很多是扯淡的），然而他对于语言的“设计”，其实并不是特别在行。所以我很惊讶的发现，有些非常基本的东西，Scala都会搞错。由于Odersky是大学教授，名声在外，很多人想找他拿个PhD，所以东拉西扯的，喜欢往Scala里面加入一些不明不白，有潜在问题的“特性”，其目的就是发paper，混毕业。这导致Scala过度繁复，加入的特性很多后来被证明没有多大用处，反而带来了问题。学生把代码实现加入到Scala的编译器，毕业就走人不管了，所以Scala编译器里，就留下一堆堆的历史遗留垃圾和bug。

　　再来说一下Clojure。当Clojure最初“横空面世”的时候，有些人热血沸腾地向我推荐。于是我看了一下它的设计者Rich Hickey做的宣传讲座视频。当时我就对他一知半解拍胸脯的本事，印象非常的深刻。Rich Hickey真的是半路出家，连个CS学位都没有。可他那种气势，仿佛其他的语言设计者什么都不懂，只有他看到了真理似的。不过也只有这样的人，才能创造出“宗教”吧？Clojure大力宣传的“特性”（什么lazy啊，pure啊，transactional memory啊），都是从别的语言道听途说抄过来，却又没能深刻理解其精髓。有些“函数式语言”的特性，本来就是有问题的，却不问青红皂白，为了“主义正确”，抄过来。所以最后你发现这语言是挂着羊头卖狗肉，说得头头是道，用起来怎么就那么蹩脚。

　　Clojure的社区，一直忙着从Scheme和Racket的社区抄袭思想，却又想标榜是自己的发明。比如Typed Clojure，就是原封不动抄袭Typed Racket。有些一模一样的基本概念，在Scheme里面都几十年了，恁是要改个不一样的名字，免得你们发现那是Scheme先有的。甚至有人把SICP，The Little Schemer等名著里的代码，全都用Clojure改写一遍，结果完全失去了原作的简单性和精华性。最后你发现，Clojure里面好的地方，全都是Scheme已经有的，Clojure里面新的特性，几乎全都有问题。我参加过一些Clojure的meetup，可是后来发现，里面竟是各种喊着大口号的初学者，各种趾高气昂的民科，愚昧之至。

　　盲目推崇Scala和Clojure的人们，很多最后都发现，这些语言里面的“新特性”，几乎都有毛病。它们里面最重要最有用的特性，其实早就已经在Java里了。有些人跟我说：“你看，Java做不了这件事情！” 后来经我分析，发现他们在潜意识里早已死板的认定，非得用某种最新最酷的语言特性，才能达到目的。Java没有这些特性，他们就以为Java做不了，非得用另外的语言。其实，如果你换一个角度来看问题，不要钻牛角尖，专注于解决问题，而不是去追求最新最酷的“写法”，你就能用Java解决它，而且解决得干净利落。

　　如果现在要做一个系统，真的宁可用Java，也不要浪费时间去折腾什么Scala或者Clojure。错误的人设计了错误的语言，拿出来浪费大家的时间。

　　Java没有特别讨厌的地方

　　Java也许缺少一些方便的特性，然而长久以来用Java进行教学，用Java工作，用Java开发PySonar，RubySonar，Yin语言，…… 我发现Java其实并不像很多人传说的那么可恶。我发现自己想要的95%以上的功能，在Java里面都能找到比较直接的用法。剩下的5%，用稍微笨一点的办法，一样可以解决问题。

　　很多人讨厌Java，其实是因为早期的GoF Design Patterns，试图提出千篇一律的模板，给程序带来了不必要的复杂性。然而Java语言本身，其实跟Design Patterns并不是等价的。Java的设计者跟Design Pattern的设计者，完全是不同的人。你完全可以使用Java写出非常简单的代码，而不使用Design Patterns。

　　Java有优秀的IDE支持

　　我平时都用IntelliJ来写Java代码。我发现IntelliJ里面，有一些非常好的设计思想。其中很多功能，其实超越了所有的文本编辑器（Emacs，VIM……）。IntelliJ让Java如虎添翼，开发起来感觉是在飞一样。

　　用IntelliJ的时候，你不需要为“给变量起名字”之类的事情焦虑。因为IntelliJ有非常强大而友好的refactor功能，你可以非常迅速的换掉变量的名字。所以在第一次创造变量的时候，你不需要花心思去起一个完美的名字。用一个还算凑合的名字，把代码很快写出来，实验成功。然后再返回去看代码，把名字换成一个更合适的就可以。

　　IntelliJ还可以进行非常迅速的结构变换，这让你就像艺术家在构造一个雕塑作品。最开头我可以大刀阔斧，把代码劈成大致的形状，然后再把它仔细推敲，揉捏成更好，更容易理解，更具魅力的形状。

　结论

编程使用什么工具是重要的，然而工具终究不如自己的技术重要。很多人花了太多时间，折腾各种新的语言，希望它们会奇迹一般的改善代码质量，结果最后什么都没做出来。选择语言最重要的条件，应该是“够好用”就可以，因为项目的成功最终是靠人，而不是靠语言。