不管你是不是程序员，你都一定学过或者听过C、Java以及PHP这样的语言。没错，它们是最受程序员欢迎的编程语言。
但有一个人或许将改变这一格局，这个人就是耶鲁大学的终身正教授、FLINT实验室主任——邵中，他是编程语言学术界名声最旺的华人，计算机程序语言设计领域的国际权威。
不过，如果你认为邵中只是一个技艺超群的码农，那你就输了！更准确的说他是程序语言标准的制定者，其研发的SML/NJ已经成为了SML语言最流行的编译器。
邵中（右）
他和代码之间的渊源还要从小时候说起！
邵中是1968年出生的，小时候的他就展现出了超强的学习能力，读小学开始做中学的题，中学看大学的课本。
就是这样的节奏，让邵中在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年，成为中科大-耶鲁大学可信软件联合研究中心主任；
现在邵中还是耶鲁大学的FLINT实验组的主任，研究的方向包括形式化方法开发可信的kernel、 新型编程语言、并发多核软件、自动定理证明系统等等。
不懂没关系，看看邵中拿的研究经费你就知道他研究的项目有多牛X！
在美国二十几年，邵中从美国国家科学基金会（NSF）、美国国防部、微软以及英特尔等手中拿到的研究经费就达到了数千万美元，其中去年一年就有八百多万美元，别人拿奖拿到手软，他是拿经费拿到手软。
不过在编程学术界，不发表几篇像样的论文做再多研究也是枉然。
邵中是一个写论文的好手，从本科毕业到现在他一共发表了七十多篇论文，其中在POPL上发表的就有五篇，例如2006年发表的《嵌入式汇编程序设计》以及2012年发表的《静态和用户可扩展的验证检查》。
这是什么样的概念呢？…拿中国举个例子，中国大陆学术界以第一作者的身份在POPL上发表过论文的只有一个，而且这篇论文还是出自邵中领导的中科大－耶鲁联合中心。（POPL是编程语言领域历史最久、水平最高的国际会议，论文录用率平均不到20%）
当然，邵中还是个社交能力很强的学术专家，他经常会在全球这顶级大会上（如POPL、PLDI和ICFP等）和全球各地的专家交流，其中2012年第39届POPL大会就是他主持的！
本站内容未经许可，禁止任何网站及个人进行转载。
