函数式编程已经存在很长一段时间了，因为LISP是最早拥有编译器的语言之一，而且自从MIT的LISP机器问世以来。这不是一种新的范式(OO更新得多)，但主流软件平台倾向于用易于转换为汇编语言的语言编写，它们的api非常倾向于命令式代码(UNIX使用C, Windows使用C, Macintosh使用Pascal和后来的C)。

我认为过去几年的新创新是api的多样性，尤其是在平台api无关紧要的web开发领域。因为你没有直接对Win32 API或POSIX API进行编码，这就给了人们尝试函数式语言的自由。

我同意第一点，但是时代变了。公司会做出回应，即使他们是后期采用者，如果他们看到有一个优势。生活是动态的。

90年代末，他们在斯坦福教授哈斯凯尔和ML。我相信卡内基梅隆大学、麻省理工学院、斯坦福大学和其他一些好学校正在向学生们展示它。

我同意大多数“在网络上公开关系数据库”的应用程序将在很长一段时间内继续这样做。对于这个问题，Java EE、. net、RoR和PHP已经演化出了一些非常好的解决方案。

您发现了一些重要的问题:这可能是其他方法无法轻松解决的问题，而这些方法将促进函数式编程。那是什么?

大规模多核硬件和云计算会推动它们向前发展吗?

函数式语言的一个关键特征是一类函数的概念。其思想是，您可以将函数作为参数传递给其他函数，并将它们作为值返回。

函数式编程包括编写不改变状态的代码。这样做的主要原因是，对函数的连续调用将产生相同的结果。您可以使用任何支持第一类函数的语言编写函数式代码，但有一些语言(如Haskell)不允许更改状态。事实上，你根本不应该产生任何副作用(比如打印文本)——这听起来可能完全没用。

相反，Haskell对IO: monads采用了不同的方法。这些对象包含解释器顶层要执行的所需IO操作。在其他任何层面上，它们都只是系统中的对象。

函数式编程有什么优点?函数式编程允许代码出现错误的可能性更小，因为每个组件都是完全隔离的。此外，使用递归和一级函数允许简单的正确性证明，这通常反映了代码的结构。

讨论中忽略的一点是，最好的类型系统存在于当代FP语言中。更重要的是，编译器可以自动推断所有(或至少大部分)类型。

有趣的是，在编程Java时，有一半的时间花在编写类型名上，然而Java到目前为止还不是类型安全的。虽然你可能从来没有在Haskell程序中写过类型(除非作为一种编译器检查的文档)，但代码是100%类型安全的。

大学里并没有真正教授(或者现在有吗?)

我不知道现在的情况，但在90年代中期，我在计算机科学课程中学习了米兰达语言和Lisp语言。尽管从那以后没有使用纯函数语言，但它影响了我解决问题的方式。

大多数应用程序都足够简单，可以用正常的面向对象方法解决

在90年代中期的CS课程中，面向对象(使用Eiffel教授)的教学与函数式编程相当。两者在当时都是非主流的。面向对象现在可能是“正常”的，但过去并非如此。

我很有兴趣看看f#是否是将FP推向主流的东西。

OOP要花多长时间才能被普通的公司程序员理解? 我在乌得勒支大学(Utrecht University)学习函数式编程，我想是在1994年，直到最近几年它才开始在“现实世界”流行起来。 没有所谓的“简单应用程序”。: -)

我认为，当我们开始在硬件中添加越来越多的核心时，软件某些关键部分的免费编程(接近)将是必不可少的。给函数式编程多一点时间。在当前和未来的c#版本中，函数式编程将会让那些公司程序员在没有意识到的情况下做好函数式编程的准备……