彼得·兰丁

✍ dations ◷ 2024-12-23 13:11:26 #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)的活动。他曾一度因参加反核游行而被逮捕。他还是一名自行车友。

相关

  • 萘普生萘普生(英语:Naproxen、INN),是一种NSAID,用于缓解普通或严重的疼痛、发热、发炎,以及由骨关节炎、类风湿性关节炎、银屑病关节炎、痛风、强直性脊柱炎、经痛、肌腱炎、滑囊炎等病
  • 反对党反对党(Opposition party),或反对派,是多党政治体制中与建制或执政联盟对立的政党,其主要职责是监督执政党的行为,同时也为在将来的选举中获胜从而成为执政党打基础。有效管治之实
  • 中婆移民协定《中婆移民协定》是一份由中华民国政府与英国政府签订的招募华工条约。条约于1913年(民国2年)9月20日在北京签订。英属北婆罗洲政府(今马来西亚沙巴州)欲开发北婆罗洲,于是先后在
  • 美洲鬣蜥美洲鬣蜥(学名:)又名绿鬣蜥,是一种生活在树上的大型蜥蜴,头尾全长可达1~2米,寿命可长达10年以上,以植物的叶、嫩芽、花、果实为食物,为日行性爬虫类,每胎可产24-45颗卵。主要分布于中
  • 萨德尔巴克角萨德尔巴克角(英语:Saddleback Point)是南极洲的海岬,位于南设得兰群岛的象岛北岸,处于怀尔德角以西2公里,该海岬被国际鸟盟列为重点鸟区,是约10,000双南极企鹅的栖息地,现时由南极
  • 蒙古国家公园列表蒙古国的“自然综合地”(蒙古语西里尔字母:байгалийн цогцолбор газар,相当于其他国家或地区的国家公园),根据该国《特别保护地法》,是指自然原生状态相对
  • 艾利·杜赫艾利·杜赫(爱尔兰语:Elley Duhé),是一名来自爱尔兰都柏林的歌手和词曲作者,在亚拉巴马州多芬岛及密西西比州凡克里夫(英语:Vancleave, Mississippi)长大。2018年7月,他与德国音乐制
  • 圆圈星座防伪技术圆圈星座防伪技术(EURion constellation)又称欧姆龙环(Omron rings)、欧元猎户星座防伪标记(简称欧元星座)、圆圈星座防复印技术等,它是一种在1996年前后被发现应用在许多纸币设计
  • 蜜獾蜜獾(学名:),鼬科动物,蜜獾属下唯一一种,分布于非洲、西亚及南亚。它们以“世界上最无所畏惧的动物”被收录在吉尼斯世界纪录大全中数年。也因为它们胆子大、无所畏惧的名声,致使世
  • 加氢脱烷基反应加氢脱烷基反应是一种牵扯到芳香族的反应,例如甲苯,在有氢的环境下会形成一个没有官能基的芳香烃。1,2,4-三甲苯转换成对二甲苯就是一个例子。这一个化学过程通常发生在高温高