彼得·兰丁

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

相关

  • 2010年再次发生革命2010年吉尔吉斯斯坦斯坦革命,或称第二次吉尔吉斯斯坦革命(相较于2005年之“郁金香革命”),是2010年4月6日至7日吉尔吉斯斯坦斯坦反对派推翻库尔曼别克·巴基耶夫的革命。源于该
  • 伦敦都会大学坐标:51°33′06″N 0°06′38″W / 51.551574°N 0.110687°W / 51.551574; -0.110687伦敦都会大学(London Metropolitan University,常称:London Met)是一所位于英国伦敦的公立
  • 奥卡帕县坐标:6°31′S 145°37′E / 6.517°S 145.617°E / -6.517; 145.617奥卡帕县(英语:Okapa District),是巴布亚新几内亚的县份之一,位于新几内亚岛东部,由东高地省负责管辖,首府设于
  • 叶夫根尼娅·卡纳耶娃叶夫根尼娅·卡纳耶娃(俄语:Евгения Олеговна Канаева;拉丁拼音:Evgeniya Kanaeva、Yevgeniya Kanayeva,1990年4月2日-)是俄罗斯的艺术体操选手。 她赢得了
  • 拉斯包拉斯国家海洋公园拉斯包拉斯国家海洋公园是哥斯达黎加的国家公园,位于该国西北部,由瓜纳卡斯特省负责管辖,面积271平方公里,成立于1991年7月9日,该地区容许水肺潜水活动。
  • UIC铁路货车分类UIC铁路货车分类是一个国际性的字母标记体系,它包含了一款货运车厢的主要技术特点。这些标记适用于在国际货物运输(德语:Güterverkehr)中使用的所有车辆。这种分类标记早在1960
  • 妈妈咪鸭《在手动语言转换规则中检测到错误》(英语:,台湾译《妈妈咪鸭》)是由克里斯·詹金斯 执导的2018年计算机动画喜剧电影,由吉姆·加菲根,赞达亚和卡尔·雷纳担任主角。
  • 松原智惠子松原智惠子(日语:松原 智恵子,1945年1月6日-),日本女演员,曾为日本五大电影公司之一“日活”的招牌女演员。曾演出电影《再见,总有一天》、《生命的探戈》等。1960年代,松原在高中时
  • LuxofluxLuxoflux,是美国游戏开发商。它是由 Peter Morawiec和阿德里安·斯蒂芬斯在1997年1月在加利福利亚州圣莫尼卡成立。2002年10月,动视宣布收购Luxoflux。2010年2月11日,动视在一
  • 成宁成宁(1744年-1822年),后更名成龄,钮祜禄氏,满洲镶黄旗人,清朝政治人物,官至工部尚书。乾隆五十三年(1788年)任福州府知府一职。升按察使。嘉庆七年(1802年)调湖北。曾任吏部左侍郎。嘉庆