彼得·兰丁

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

相关

  • Bksub2/subOsub3/sub三氧化二锫是锫已知的两种氧化物之一,化学式为Bk2O3。它可由二氧化锫在600°C的氢气流中加热还原得到。它是浅棕黄色的固体,属于立方晶系,晶胞参数a=10.880±0.005。它在氯化氢
  • 丹·奎尔詹姆斯·丹佛斯·“丹”·奎尔(James Danforth "Dan" Quayle,1947年2月4日-)是美国第44任副总统,曾分别担任代表印第安纳州的参议员和众议员。现任博龙资产管理旗下主管。奎尔在
  • 布袋事件布袋事件,1946年4月在旧台南县布袋嘴(位于今嘉义县布袋镇),因为当地防疫管制纠纷而引发警察开枪伤人的一起警民冲突。是国民政府统治台湾初期所发生具有代表性的重大事件之一,
  • 埼玉县第8区埼玉县第8区是日本众议院的选区,设立于1994年。北海道 13 | 山形县 4 | 静冈县 9 | 岛根县 3 | 大分县 4福井县 3 | 山梨县 3 | 德岛县 3 | 高知县 3 | 佐贺县 3青森县 4 |
  • 卡洛·帕韦西卡洛·帕韦西(意大利语:Carlo Pavesi,1923年6月10日-1995年3月24日),意大利男子击剑运动员。他曾参加1952年、1956年和1960年夏季奥运会击剑比赛,共获得4枚金牌。他也曾收获多枚世
  • 洛恩达洛恩达(Londa),是印度卡纳塔克邦Belgaum县的一个城镇。总人口6276(2001年)。该地2001年总人口6276人,其中男性3188人,女性3088人;0—6岁人口683人,其中男361人,女322人;识字率71.54%,其
  • 阿部正权阿部正权(あべ まさのり、文化3年1月9日(1806年2月26日) - 文政6年10月6日(1823年11月8日))江户时代后期大名。武藏国忍藩主、陆奥国白河藩主。忠秋系阿部家9代。武藏国忍藩主阿部
  • 车底车底国(梵语:चेदि,Chedi),又译支提国,是古印度十六大国之一,大致位于印度中央邦本德尔肯德地区,亚穆纳河南岸肯河(Ken river)流域。在印度史诗摩诃婆罗多中,车底国国王是童护(Sisupa
  • 谢升 (明朝)谢升(?-1402年),明朝山东诸城人。其生平史不详书。约知建文帝时,官至御史,靖难之役结束,朱棣进入南京后,与丁志方、甘霖等御史从容就死。史称:“忠愤激发,视刀锯鼎镬甘之若饴,百世而下,凛
  • 吴瑾蓉吴瑾蓉(Sharon Wu,1984年7月6日-)台湾编剧,作品横跨电影、电视、舞台剧。