悼念图灵奖得主、ML语言之父Robin Milner
【引文】
在上编译工程时第一次接触函数程式语言，立刻就被其简单的数学逻辑给迷住了。
现在有空就会看看LISP和SML的资料，希望能够对其的研究更近一步，一边学习一边对其在IT界的地位产生了很大的好奇，两种语言的作者无疑都因为此而获得了图灵奖，这是除了C之外其他语言没有享受过的殊荣，连Java、Python、Perl 这些现在热捧的语言也没有过。
由此可知ML这种语言在编程语言中的地位不一般，今晨获知其作者前几日离世，故此希望发文悼念之，缅怀其丰功伟绩。
1991年图灵奖得主Robin Milner于2010年3月20日（他妻子葬礼后的第三天）在英国剑桥辞世，享年76岁。他是他是英国皇家学会成员，ACM会士，美国工程院外籍院士。
生平
Robin Milner出生于一个军人家庭，早年就读于伊顿公学。后加入英国皇家工程兵部队，获得少尉军衔。1952年入读剑桥大学国王学院，1957年毕业，之后的第一个工作是教师，然后在Ferranti公司当程序员。此后他进入学术界，先后在伦敦城市大学，Swansea大学，斯坦福大学任职。1973年回到英国爱丁堡大学，在爱丁堡大学任职期间，他开发了函数式编程语言ML，并和他的同事一起完成了LCF的开发。1995年，他回到母校剑桥大学任教，并担任剑桥大学计算机实验室主任。（来自维基百科）
2005年4月Milner曾经访问中国。
去世前，他的主要研究兴趣是模型在普适计算中的系统应用，和偶图（Bigraphy）模型。
贡献
他获得图灵奖的主要贡献是：
1. LCF，Scott可计算函数逻辑（Logic of Computable Functions）的机械化，可能是第一个基于理论但实用的计算机辅助证明工具。
2. ML，第一个具有多态的类型推演和具有类型安全异常处理机制的编程语言。其设计目的就是为了进行LCF证明。这是一个通用的函数式语言，对语言设计的最大贡献是Hindley-Milner类型推演算法，用于许多静态语言。ML是Caml、Haskell、F#等语言的先祖。
3. CCS，一个并发的通用理论。
另外，他提出并发展了完全抽象，研究了操作语义和指称语义之间的关系。
轶事
在一次访谈中，Milner 说到自己早年在剑桥上学时，根本不知道图灵及其成就。虽然他进剑桥国王学院时，学院的院士之一图灵刚刚去世几个月，虽然他的数学老师是图灵的好友。他在大学喜欢的是罗素的分析哲学。毕业的时候虽然很多人劝他留在学校，他还是走了。更有意思的是，当时有一堂EDSAC（早期计算机之一）编程课，却让他对编程产生了厌恶之情。而在中学当了一年老师之后，他却不得不违心找了一份程序员的工作。
他真正对计算机产生兴趣，还是在伦敦城市大学的时候，他对与分析哲学很密切的人工智能着了迷，并学习了C语言的先祖CPL，后来又因为研究数据库学习了关系代数。
他有一个没有完成的梦想，是成为一名音乐家。事实上，他大学期间主要精力都花在音乐上了，他是一名非常出色的双簧管演奏家。
悼念图灵奖得主、ML语言之父Robin Milner相关推荐
- 对话图灵奖得主、CNN之父Yann LeCun：我在中国看到了AI研究热潮
文 | 罗景文 译 | 王启隆 责编 | 邓晓娟 出品 | <新程序员> 卷积神经网络(Convolutional Neural Networks,简称 CNN)在最近这些年的深度学习领域 ...
- 图灵奖得主Judea Pearl ：从“贝叶斯网络之父”到“AI社区的叛徒”
图灵奖得主Judea Pearl,早在40多年前便通过贝叶斯网的设计,使机器实现概率推理而在人工智能领域声名大噪,并被誉为"贝叶斯网络之父",但近年却公开声称自己其实是人工智能社 ...
- 【有奖提问】向图灵奖得主、贝叶斯网络之父 Judea Pearl 提问啦
各位开发者朋友好哇, CSDN<新程序员>即将对话 2011 图灵奖得主.贝叶斯网络奠基人 Judea Pearl(朱迪亚·珀尔),欢迎所有的开发者朋友们基于人工智能.因果科学.贝叶斯网络 ...
- 程序设计、数据结构、编译相关图灵奖得主简介之二
7. 肯尼思 · 艾弗森(Kenneth Eugene lverson) 1979年度的图灵奖首次授予一位加拿大学者.时在IBM公司沃森研究中心工作的肯尼思·艾弗森.他是因为在开发交互式程序设计语言A ...
- 看了 72 位图灵奖得主成就，才发现我对计算机一无所知
来源:人工智能AI技术 今天是计算机科学之父.人工智能之父 艾伦·麦席森·图灵 诞辰 108 周年.作为"图灵意志"的传承者,依照惯例,在今日纪念这位伟人. 从"图灵机& ...
- 5月刊推荐：ML语言之父——罗宾·米尔纳
[/caption] 2010年3月20日,图灵奖得主罗宾•米尔纳(Robin Milner)辞世,享年76岁.米尔纳是第四位获此殊荣的英国科学家,由于在LCF可计算函数逻辑.ML和CCS并发理论等计 ...
- 历届图灵奖得主(1990-2022)
Robin Milner 1991年图灵奖得主 贡献领域: LCF.ML编程语言.并发理论(CCS) 中文一般译作"罗宾·米尔纳", 1934年1月13日-2010年3月20日 生 ...
- 图灵奖得主Judea Pearl：最近值得一读的19篇因果推断论文
近日,图灵奖得主.因果科学之父Judea Pearl 在推特上分享了一个论文集列表PDF,推荐了19篇大多近期发表.值得一读的因果推断相关文章(推荐列表下载),同时特别highlight了一下&quo ...
- 图灵奖得主Judea Pearl：从“大数据革命”到“因果革命”
整理 | 智源社区,龚鹤扬&高亦斌 2020年6月21日,在第二届北京智源大会开幕式及全体会议上,图灵奖得主.贝叶斯网络奠基人Judea Pearl 做了名为<The New Scien ...
最新文章
- Qt Creator指定环境设置
- IOS之通知KVO的常量定义
- 想使用Docker容器？先看看这些注意事项
- 机械厂html5手机模板,营销型机械消费设备企业通用织梦模板（带html5手机端） v1.0...
- 积极向上，努力工作，提高能力，提高战斗力，保持热情，保持创业热情。
- mybatis 注解忽略属性
- dpkg: error: dpkg status database is locked by another process
- java中的函数指的是,函数式接口在Java中是指有且仅有一个抽象方法的接口。( )...
- 推导多元最小二乘法的计算方法
- 牛刀 —— 汨罗网络屏幕投影软件的技术实现
- matlab printf格式化输出,如何使用 printf 来格式化输出
- The field file exceeds its maximum permitted size of 1048576 bytes.
- mysql中求闰年的函数_SQL 判断闰年
- Windows Server 2008 R2 WSUS服务器的详细配置和部署
- 位运算bitwise_and函数
- HBuilder X乱码问题
- Nginx启动失败的几种错误处理
- Kubernetes 中的 Secret加密存储
- APP如何选择合适的服务器
- JavaScript Set