3BHE039203R0101 GVC736CE101  图灵机是计算的等效模型

3BHE039203R0101 GVC736CE101  图灵机是计算的等效模型

这λ演算，在20世纪30年代由阿隆佐·邱奇，是一个正式系统关于计算建造自功能应用。1937年艾伦·图灵证明了λ演算和图灵机是计算的等效模型，^[36]表明λ演算是图灵完成。Lambda演算构成了所有函数式编程语言的基础。等效的理论公式，组合逻辑，由开发摩西·舍恩芬克尔和哈斯克尔·库里在二十世纪二三十年代。^[37]

教会后来发展了一个较弱的系统简单型λ演算，它通过分配一个类型所有条款。^[38]这构成了静态类型函数编程的基础。

第一高级的函数式编程语言，口齿不清，是在20世纪50年代末为IBM 700/7000系列科学计算机约翰·麦卡锡当在麻省理工学院(麻省理工)。^[39]LISP函数是用Church的lambda符号定义的，用一个标签结构进行了扩展递归的功能。^[40]Lisp首先引入了函数式编程的许多典型特性，尽管早期的lisp多范例语言，并且随着新范例的发展，集成了对多种编程风格的支持。后来的方言，比如计划和Clojure和分支，如迪伦和朱莉娅，试图围绕一个清晰的功能核心来简化和合理化Lisp，同时普通Lisp旨在保存和更新它所取代的众多旧方言的聚合特征

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