FBM230 P0926GU 函数式风格及其程序代数

约翰·巴科斯提出冰点在他1977年图灵奖讲座“编程能从冯·诺依曼风格？函数式风格及其程序代数”。^[48]他将函数式程序定义为通过允许“程序代数”的“组合形式”以分层方式构建的程序；在现代语言中，这意味着函数式程序遵循组合性原则。^{[需要引用]}Backus的论文普及了对函数式编程的研究，尽管它强调功能级编程而不是现在与函数式编程相关的lambda-calculus风格。

1973年的语言机器语言(Machine Language)是由罗宾·米尔纳在爱丁堡大学，以及大卫·特纳发展了这种语言SASL在圣安德鲁斯大学。20世纪70年代也是在爱丁堡，伯斯托尔和达林顿开发了函数式语言国家物理实验所。^[49]NPL基于克莱尼递归方程并在他们关于程序转换的工作中首次引入。^[50]Burstall，MacQueen和Sannella然后结合了ML的多态类型检查来产生语言希望。^[51]ML最终发展成几种方言，其中最常见的是现在OCaml和标准毫升。

在20世纪70年代，盖伊·斯蒂尔和杰拉德·让伊·萨斯曼发达的计划，如中所述拉姆达论文1985年的教科书计算机程序的结构和解释。Scheme是lisp使用的第一种方言词法范围并要求尾部调用优化鼓励函数式编程的特性

*博客内容为网友个人发布，仅代表博主个人观点，如有侵权请联系工作人员删除。