最牛华侨“Java程序员”邵中，全世界程序员的命运因他而变

最牛华人“程序员”邵中，全世界程序员的命运因他而变

不管你是不是程序员

你都一定学过或者听过C、Java以及PHP这样的语言

没错，它们是最受程序员欢迎的编程语言

但有一个人或许将改变这一格局...

这个人就是耶鲁大学的终身正教授、FLINT实验室主任——邵中!

他是编程语言学术界名声最旺的华人，计算机程序语言设计领域的国际权威。

不过，如果你认为邵中只是一个技艺超群的码农，那你就错了！更准确的说他是程序语言标准的制定者，其研发的SML/NJ已经成为了SML语言最流行的编译器。邵中在15岁的时候就从江苏常熟中学考入了中科大少年班，他学的是计算机科学专业。

中科大少年班学员

当你还只会写“Hello World”的时候，人家已经掌握了各种复杂程序的原理，于是他又成为了那一届少年班最优秀的毕业生，并且顺手拿了个中科大郭沫若奖学金。

把编程技术练到了极致后，邵忠觉得做一个普通的程序员太没意思了！

所以，1988年从中科大毕业之后，邵中又来到了美国普林斯顿大学留学，1991年获得了该校的计算机科学硕士学位，接着在1994年拿到了博士学位。

在普林斯顿大学期间，他跟着导师就在贝尔实验室计算机科学研究中心做项目，当时他在为SML语言（Standard ML）研发一个编译器。

没听过SML是什么的程序员，赶紧面壁思过去。（前方高能，非程序员请系好安全带！）

做个小科普，程序语言其实可以分为三大类：第一种是命令式的语言，如C，C++，Java等；第二种是逻辑式的语言，如Prolog；第三种就是更符合人类思维的函数式语言，如约翰·麦卡锡(John McCarthy)发明的LISP和ML（SML是其中的一个分支）。

懂编程的朋友都知道，函数式语言比传统的编程语言更加高深，它是一种非冯·诺依曼式的程序设计语言，它的代码更简洁也更容易理解，而且适合多线程编程。

例如在人工智能领域，需要处理非常复杂的数据结构，函数式语言的优势就非常明显。但是，这种语言也有一个非常致命的缺点，就是执行效率非常低，所以函数式语言基本上只活跃在学术界，很少有商业化的。

不过邵中还是没有放弃，他希望开发一款高效的编译器来解决这个问题。

博士毕业后，邵中来到了位于康涅狄格州纽黑文市的耶鲁大学，这位偏执的年轻人在担任学校计算机科学系的助理教授的同时，还在为那款编译器而奋斗着。

除了每天辅导学生之外，他经常到贝尔实验室计算机科学研究中心做一些有关SML/NJ（Standard ML of New Jersey）的设计。

虽然过程很坎坷，但最终邵中和其他几位研究人员还是成功研发出了SML语言最著名的编译器——SML/NJ，并且获得了美国国家科学基金青年学者奖。

这一发明让邵中的编译风格成为编程语言学术研究的典范，同时也奠定了其在编程语言界的地位，现在C++和Java什么的都开始对函数式编程提供专门语法支持。然而故事还没有结束

不久之后，邵中又在FLINT上的研发取得了突破，让类型检查可以在编译的任何阶段进行。

这样的研究成果让耶鲁大学折服了！

2000年，成为计算机科学系副教授；

2001年，被选举为ACM SIGPLAN执行委员会委员；

2003年，被提拔为为正教授；

2008年，成为中科大-耶鲁大学可信软件联合研究中心主任；

不仅如此，邵中还是一个写论文的好手，从本科毕业到现在他一共发表了七十多篇论文，其中在POPL上发表的就有五篇，例如2006年发表的《嵌入式汇编程序设计》以及2012年发表的《静态和用户可扩展的验证检查》。

这是什么样的概念呢？...拿中国举个例子，中国大陆学术界以第一作者的身份在POPL上发表过论文的只有一个，而且这篇论文还是出自邵中领导的“中科大－耶鲁联合中心” 。（POPL是编程语言领域历史最久、水平最高的国际会议，论文录用率平均不到20%）

当然，邵中还是个社交能力很强的学术专家，他经常会在全球这顶级大会上（如POPL、PLDI和ICFP等）和全球各地的专家交流，其中2012年第39届POPL大会就是他主持的！

看完这些你还敢说自己是个程序员吗，比你优秀的人比你还要努力，你还有什么理由不学编程吗？

后台 回复 01 面肥拿走，记得 转发或评论 一下 就好，谢谢支持95码农