彼得·兰丁

✍ dations ◷ 2025-06-15 02:31:42 #1930年出生,2009年逝世,英格兰计算机科学家,形式方法人物,英国LGBT权利运动者,双性恋者,LGBT科学家,英格兰LGBT人物,英国反战人士,伦敦玛丽王

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

兰丁出生于英格兰的谢菲尔德,中学时代就读于爱德华七世学校;他从剑桥大学克莱尔学院毕业。在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)的活动。他曾一度因参加反核游行而被逮捕。他还是一名自行车友。

相关

  • δ18Oδ18O是二种氧稳定同位素氧-18和氧-16的比例,常用在地球化学、古气候学及古海洋学(英语:Paleoceanography)中。δ18O常用来量测降水时的温度,也可以量测地下水和矿物之间的交互作
  • 布尔战争大英帝国德兰士瓦共和国 奥兰治自由邦 外籍志愿兵来自:第二次布尔战争(英语:Second Boer War;荷兰语:Tweede Boerenoorlog;南非语:Tweede Vryheidsoorlog/Tweede Boereoorlog;1899年1
  • 放射线放射线可以指:
  • 卡瓜-埃拉韦县坐标:6°19′S 143°50′E / 6.317°S 143.833°E / -6.317; 143.833卡瓜-埃拉韦县(英语:Kagua-Erave District),是巴布亚新几内亚的县份之一,位于新几内亚岛东部,由南高地省负责管
  • .ee.ee为爱沙尼亚国家及地区顶级域(ccTLD)的域名。A .ac .ad .ae .af .ag .ai .al .am .ao .aq .ar .as .at .au .aw .ax .az  B .ba .bb .bd .be .bf .bg .bh .bi .bj .bm .
  • 拉扎尔·莫伊谢耶维奇·卡冈诺维奇拉扎尔·莫伊谢耶维奇·卡冈诺维奇(俄语:Ла́зарь Моисе́евич Кагано́вич,1893年11月22日-1991年7月25日)是一位苏联政治家。卡冈诺维奇曾经是斯大林
  • 萨阿敦·萨吉尔·贾纳比萨阿敦·萨吉尔·贾纳比(阿拉伯语:سعدون عنتر نصيف الجنابي‎ ;?-2005年10月20日)是伊拉克前总统萨达姆女儿为父亲聘请的“黄金律师团”13名辩护律师之一,2005
  • 达鲁赫拉达鲁赫拉(Dharuhera),是印度哈里亚纳邦Rewari县的一个城镇。总人口18890(2001年)。该地2001年总人口18890人,其中男性10750人,女性8140人;0—6岁人口3221人,其中男1781人,女1440人;识字
  • 伊扎克·本-兹维伊扎克·本-兹维(Yitzhak Ben-Zvi,希伯来语:.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Ket
  • 梅莉娜·罗伯特-米切梅莉娜·罗伯特-米切(法语:Mélina Robert-Michon,1979年7月18日-)是一名法国铁饼运动员。她是2013年世界田径锦标赛和2016年夏季奥林匹克运动会的银牌得主以及国家纪录保持者。