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

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

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

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

大多数应用程序都可以用[此处插入您最喜欢的语言、范例等]来解决。

尽管如此，不同的工具可以用来解决不同的问题。函数只是允许另一种更高层次的抽象，当正确使用时，它允许我们更有效地完成工作。

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

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

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

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

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

它已经在Hadoop中的Map/reduce中流行起来

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

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

很多人都提到了函数式语言。

除了Javascript，还有一些最常用的函数式语言。

Excel、SQL、XSLT、XQuery、J、K等应用于金融领域。

当然是Erlang。

所以我想说，从这个列表中，函数式编程技术每天都在主流中使用。