彼得·兰丁

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

相关

  • 毒物毒物是对生物造成不适反应的物质的总称。毒物对生物体造成的影响因种类不同各异,不适反应的类型以及程度也各不相同。另外对于有的生物来说具有毒性而对于别的生物来说无毒的
  • 叶德言叶德言(1886年-?),字仲㧑,浙江省宁波府慈谿县人,宣统二年进士。
  • 中国翼龙属中国翼龙属(属名:,意为“中国之翼”)是翼龙目翼手龙亚目古神翼龙科的一属,化石发现于中国辽宁省朝阳市的九佛堂组,年代为下白垩纪的巴列姆阶到阿普第阶。中国翼龙拥有相当大的头部
  • 多瘤卷管螺多瘤卷管螺(学名:),是新腹足目卷管螺科属的一种。主要分布于韩国、台湾。常栖息在泥沙质海底。
  • 欧洲物理快报欧洲物理快报(EPL),为欧洲物理学会所属的一个学术性期刊,隶属17个欧洲国家的物理学会。2007年前,其正式名称为“Europhysics Letters”。目前,该期刊为半月刊,使用英语。ISSN号为02
  • 坎瑙吉县坎瑙吉县是印度的一个县,位于该国北部,由北方邦负责管辖,面积3,029平方公里,识字率为81.3%,人口在2001至2011年期间增长9.72%,2001年人口4,137,489,人口密度每平方公里1,366人。坐
  • 哈啰僵尸《哈啰僵尸》(英语:)是台湾出产的僵尸电影作品,共有《哈啰僵尸 2》及《哈啰僵尸3》续集。中国湘西一带,流传一种迷信,不幸死于异乡的人,都必需运灵返乡安葬,否则子孙永不发达……由
  • 弗朗蒂舍克·布里克西弗朗蒂舍克·克萨韦尔·布里克西(捷克语:František Xaver Brixi,1732年1月2日-1771年10月14日),波西米亚作曲家。其父西蒙·布里克西也是作曲家。布里克西先后在布拉格的多所教堂
  • Roommate《Roommate》(韩语:룸메이트)是韩国SBS电视台的一档真人实境综艺节目。2014年5月4日开始,逢韩国时间星期日下午4时50分在《星期天真好》综艺时段的一部(二部现为《Running Man》)
  • 网络主机网络主机(network host)是已连接到一个计算机网络的一台电子计算机或其他设备。网络主机可以向网络上的用户或其他节点提供信息资源、服务和应用。一台网络主机是已被分配一个