彼得·兰丁

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

相关

  • 麦角菌约50种, 包括: C. africana C. fusiformis 雀稗麦角菌 C. paspali C. purpurea C. sorghi C. zizaniae麦角是谷类作物(如小麦)被真菌感染所形成的黑色子实体。它是由多种叫做
  • 吉法酯吉法酯(英语:Gefarnate,或译为合欢香叶酯)是一种用于治疗胃及十二指肠溃疡的药物,也可用于治疗干眼症。
  • 有尾目有尾目(学名:Urodela)是终身有尾的两栖动物,一共有9科60属约358种,幼体与成体形态上差别不大,主要包括蝾螈、小鲵和大鲵。有尾目动物有发展完全的前肢和后肢,大小大约一致,但四肢细
  • 称帝中国历史上的君主最初被称为后、帝、皇、王、天子等。皇帝称号则始创于秦始皇,他以自己一统海内的功绩为傲,认为自己德兼“三皇”、功过“五帝”,古往今来的统治者无人能及,宜用
  • 巴丹日巴丹日(他加禄语:Araw ng Kagitingan,意为“勇士之日” , 英文:Bataan Day),在每年的4月9日,菲律宾节日,当天放假。为纪念二战时巴丹死亡行军中死去的美菲军民而设,因为4月9日是巴丹死
  • 升田幸三升田 幸三(ますだ こうぞう、1918年3月21日-1991年4月5日)是将棋棋士,实力制第4代名人,出生于広岛県双三郡三良坂町(现三次市)。虽然名字正确的念法是“こうそう”,但是在将棋界则是
  • 帕尔萨巴德帕尔萨巴德是伊朗的城市,位于该国西北部阿拉斯河右岸,由阿尔达比勒省负责管辖,毗邻与阿塞拜疆接壤的边境,海拔高度168米,2006年人口81,782。
  • 艾蒂安·拉莫特艾蒂安·保罗·马利·拉莫特(法语:Étienne Paul Marie Lamotte,1903年11月21日-1983年5月5日),生于比利时迪南,是一名天主教神父,也是天主教鲁汶大学希腊文教授。但他最著名的学术
  • 范学伟范学伟(1971年4月29日-),出生于青岛,已经退役的中国足球运动员,场上司职后卫,曾效力于青岛海牛和山东鲁能泰山等球队。现为青少年足球教练。
  • 书剑恩仇录角色列表金庸《书剑恩仇录》武侠小说的剧情角色列表。要按