摘要： 讨论之前，这里先对概念进行一下界定。这里的命令式编程语言泛指所有把修改变量的值当作最基本计算方式的语言，函数式编程语言指把一个程序的输出定义为其输入的数学函数的语言，纯函数式编程没有内部状态的概念，也没有副作用。 要理解各种程序设计模型之间的不同，先考虑一下它们各自所基于的计算模型会有所帮助。命令式和函数式模型是从数学家图灵、丘奇、克林、波斯特等人在20世纪30年代所做工作的基础上成长起来的。这些先驱者分别基于自动机、符号操作、递归函数、和组合学开发出了几种差异巨大的形式化模型。现在人们已经证明这些不同的理论具有相同能力：任何一种模型里可以计算的东西，在另一种模型里也能计算。这些形式化模... 阅读全文