彼得·约翰·兰丁（，），英国计算机科学家。他最早提出阿隆佐·邱奇的λ演算可以被用作计算机程序语言的模型，这后来成为函数式编程和指称语义的基础。
学术生涯
兰丁出生于英格兰的谢菲尔德，中学时代就读于爱德华七世学校；他从剑桥大学克莱尔学院毕业。在他退休之后，他获得了伦敦玛丽王后大学的理论计算学荣誉教授称号。2012年，伦敦玛丽王后大学的计算机科学大楼以他的名字命名。
2001年，在伦敦科学博物馆的一个关于程序语言形式语义学的会议上，他回顾了他的学术生涯；他的计算机科学研究肇始于20世纪50年代，极大地受到了当时约翰·麦卡锡的LISP语言的影响，而他自己使用得最多的编程语言则是Fortran。
60年代，兰丁在ALGOL程序语言的标准化制定中起到了推动作用；图灵奖获得者托尼·霍尔称他是几个教会他ALGOL 60语言的人之一。
1964年，兰丁提出了闭包的概念。这一概念后来被Scheme语言实现，并逐渐成为了函数式编程中的重要概念。兰丁设计了SECD机，这是第一个被确切定义的用于函数式编程语言的抽象机。
1966年，他在SECD机的基础上设计了ISWIM程序语言，定义了他所谓的越位规则，并第一次提出了程序语言语法糖的概念。越位语法规则使用空格缩进来控制名称声明的作用域，这后来在Miranda、Haskell、Python和F#等语言中得到了运用。
兰丁最重要的论文是1966年发表的《The next 700 programming languages》，它对后来程序语言研究影响深远。之所以选择“700”这个数字，据说是因为兰丁在《ACM期刊》上读到一篇文章说世界上已经存在过700种程序语言。
个人生活与政治倾向
兰丁是一名公开的双性恋他还是一名自行车友。
部分学术著作
*
*
*
*
- Reprinted in:
*
参考文献
扩展阅读
*
*
评论 (0)