彼得·兰丁

彼得·约翰·兰丁英語:1930年6月5日—2009年6月3日[1][2]),英国计算机科学家。他最早提出阿隆佐·邱奇λ演算可以被用作计算机程序语言的模型,这后来成为函数式编程指称语义的基础。

彼得·兰丁
Peter Landin
出生(1930-06-05)1930年6月5日
 英国英格兰谢菲尔德
逝世2009年6月3日(2009歲—06—03)(78歲)
国籍 英国
公民权 英国
母校剑桥大学克莱尔学院
知名于ISWIM, J算子, SECD抽象机, 越位规则
科学生涯
机构玛丽王后学院
受影响自约翰·麦卡锡(John McCarthy)
阿隆佐·邱奇(Alonzo Church)
克里斯托弗·斯特雷奇(Christopher Strachey)
施影响于托尼·霍尔(Tony Hoare)

学术生涯

兰丁出生于英格兰谢菲尔德,中学时代就读于爱德华七世学校;他从剑桥大学克莱尔学院毕业[2]。在1960年到1964年间,他成为了克里斯托弗·斯特雷奇的助手,当时斯特雷奇在伦敦担任一名独立计算机顾问。他的大部分成果均发表于这期间以及后来在美国麻省理工学院参与UNIVAC工作的短暂时间。之后他在伦敦玛丽王后大学找到了一份教职工作。70年代到80年代,他的主要精力投入了伦敦玛丽王后大学计算机科学部的创设、课程设置和教学[3]。在他退休之后,他获得了伦敦玛丽王后大学的理论计算学荣誉教授称号。2012年,伦敦玛丽王后大学的计算机科学大楼以他的名字命名。

2001年,在伦敦科学博物馆的一个关于程序语言形式语义学的会议上,他回顾了他的学术生涯;他的计算机科学研究肇始于20世纪50年代,极大地受到了当时约翰·麦卡锡LISP语言的影响,而他自己使用得最多的编程语言则是Fortran[4]

60年代,兰丁在ALGOL程序语言的标准化制定中起到了推动作用[5][6];图灵奖获得者托尼·霍尔称他是几个教会他ALGOL 60语言的人之一[7]

1964年,兰丁提出了闭包的概念。这一概念后来被Scheme语言实现,并逐渐成为了函数式编程中的重要概念。兰丁设计了SECD抽象机,这是第一个被确切定义的抽象过程虚拟机

1966年,他在SECD抽象机的基础上设计了ISWIM程序语言,定义了他所谓的越位规则,并第一次提出了程序语言语法糖的概念。越位语法规则使用空格缩进来控制名称声明的作用域,这后来在MirandaHaskellPythonF#等语言中得到了运用。

兰丁最重要的论文是1966年发表的《The next 700 programming languages》,它对后来程序语言研究有影响深远[8]。之所以选择“700”这个数字,据说是因为兰丁在《ACM期刊》上读到一篇文章说世界上已经存在过700种程序语言[9]

个人生活与政治倾向

兰丁是一名公开的双性恋[2]同性恋权益活动家,在20世纪70年代早期参与过同志解放阵线的活动。他曾一度因参加反核游行而被逮捕。[10]他还是一名自行车友。

部分学术著作

参考文献

  1. Peter Landin 页面存档备份,存于, Lambda the Ultimate 页面存档备份,存于, 4 June 2009.
  2. Bornat 2009a
  3. Acknowledged in the foreword to the text book “Programming from First Principles” by Richard Bornat. Published by Prentice Hall, 1987. ISBN 978-0-13-729104-5.
  4. . [2014-07-27]. (原始内容存档于2007-09-26)., 2001.
  5. Listed amongst those who attended the November 1959 conference in [Paris] 页面存档备份,存于 and the 1962 conference 页面存档备份,存于.
  6. Landin 1964
  7. ACM Turing Award Lecture: The Emperor's Old Clothes. C. Antony R. Hoare, 1980, Published in the Communications of the ACM.
  8. Landin 1966
  9. Personal communication, September 2007.
  10. Bornat 2009b

扩展阅读

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.