彼得·兰丁
学术生涯
兰丁出生于英格兰的谢菲尔德,中学时代就读于爱德华七世学校;他从剑桥大学克莱尔学院毕业。在1960年到1964年间,他成为了克里斯托弗·斯特雷奇的助手,当时斯特雷奇在伦敦担任一名独立计算机顾问。他的大部分工作均发表于这期间以及后来在美国麻省理工学院参与UNIVAC工作的短暂时间。之后他在伦敦大学玛丽王后学院找到了一份教职工作。70年代到80年代,他的主要精力投入了玛丽王后学院计算机科学部的创设、课程设置和教学。在他退休之后,他获得了伦敦玛丽王后学院的理论计算学荣誉教授称号。2012年,玛丽王后学院的计算机科学大楼以他的名字命名。
2001年,在伦敦科学博物馆的一个关于程序语言形式语义学的会议上,他回顾了他的学术生涯;他的计算机科学研究肇始于20世纪50年代,极大地受到了当时约翰·麦卡锡的LISP语言的影响,而他自己使用得最多的编程语言则是Fortran。
60年代,兰丁在ALGOL程序语言的标准化制定中起到了推动作用;图灵奖获得者托尼·霍尔称他是几个教会他ALGOL 60语言的人之一。
1964年,兰丁提出了闭包的概念。这一概念后来被Scheme语言实现,并逐渐成为了函数式编程中的重要概念。
兰丁设计了SECD抽象机,这是第一个被确切定义的抽象过程虚拟机;在SECD抽象机的基础上他设计了ISWIM程序语言,定义了他所谓的越位规则,并第一次提出了程序语言语法糖的概念。越位语法规则使用空格缩进来控制名称声明的作用域,这后来在Miranda、Haskell、Python和F#等语言中得到了运用。
兰丁最重要的论文之一《The next 700 programming languages》对后来程序语言研究的影响深远。之所以选择“700”这个数字,据说是因为兰丁在《ACM期刊》上读到一篇文章说世界上已经存在过700种程序语言。
个人生活与政治倾向
兰丁是一名公开的双性恋、同性恋权益活动家,在20世纪70年代早期参与过同志解放阵线(英语:Gay Liberation Front)的活动。他曾一度因参加反核而被逮捕。他还是一名自行车友。
部分学术著作
Landin, Peter J. The mechanical evaluation of expressions. The Computer Journal (British Computer Society). 1964, 6 (4): 308–320. doi:10.1093/comjnl/6.4.308.
Landin, Peter J. T. B. Steel, Jr., 编. A formal description of Algol 60. Formal Language Description Languages for Computer Programming. 1966: 266–294.
Landin, Peter J. Correspondence between ALGOL 60 and Church"s Lambda-notation: part I. Communications of the ACM (Association for Computing Machinery). February 1965a, 8 (2): 89–101. doi:10.1145/363744.363749.
Landin, Peter J. A correspondence between ALGOL 60 and Church"s Lambda-notation: part II. Communications of the ACM (Association for Computing Machinery). March 1965b, 8 (3): 158–165. doi:10.1145/363791.363804.
Landin, Peter J. A Generalization of Jumps and Labels. UNIVAC Systems Programming Research (technical report). 1965-08-29. Reprinted in Higher-Order and Symbolic Computation. December 1998, 11 (2): 125–143. doi:10.1023/A:1010068630801.
Landin, Peter J. The next 700 programming languages. Communications of the ACM (Association for Computing Machinery). March 1966, 9 (3): 157–166. doi:10.1145/365230.365257.
扩展阅读
Bornat, Richard.Peter Landin obituary. The Guardian Obituaries. 2009-09-23: 34 [2009-09-29].
Bornat, Richard. Peter Landin: a computer scientist who inspired a generation, 5th June 1930 - 3rd June 2009. Formal Aspects of Computing (Berlin: Springer-Verlag). 2009-09-17, 21 (5): 393–395. doi:10.1007/s00165-009-0122-y. ISSN 0934-5043.
免责声明:以上内容版权归原作者所有,如有侵犯您的原创版权请告知,我们将尽快删除相关内容。感谢每一位辛勤著写的作者,感谢每一位的分享。
相关资料
展开- 有价值
- 一般般
- 没价值