我认为其中一个原因是有些人认为一门语言是否被接受最重要的部分是它有多好。不幸的是，事情很少这么简单。例如，我认为Python被接受的最大因素不是语言本身(尽管这非常重要)。Python如此受欢迎的最大原因是它庞大的标准库和更大的第三方库社区。

像Clojure或f#这样的语言可能是这个规则的例外，因为它们是构建在JVM/CLR之上的。因此，我没有答案。

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

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

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

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

I don't know whether it will catch on or not, but from my investigations, a functional language is almost certainly worth learning, and will make you a better programmer. Just understanding referential transparency makes a lot of design decisions so much easier- and the resulting programs much easier to reason about. Basically, if you run into a problem, then it tends to only be a problem with the output of a single function, rather than a problem with an inconsistant state, which could have been caused by any of the hundreds of classes/methods/functions in an imparative language with side effects.

FP的无状态本质更自然地映射到web的无状态本质，因此函数式语言更容易让自己更优雅，更RESTFUL的web应用程序。与JAVA和. net框架形成鲜明对比的是，它们需要在本质上无状态的功能平台(如web)上使用VIEWSTATE和SESSION键来维护应用程序状态，并维护有状态命令语言的抽象(有时相当容易泄漏)。

而且，应用程序越无状态，就越容易进行并行处理。如果你的网站很受欢迎，这对网络来说非常重要。向站点添加更多硬件以获得更好的性能并不总是那么简单。

FP无疑是下一个最佳范例。现在哪种语言可能是下一步，这是很难的东西，但我相信可能是Haskell, f#， Clojure, Ocaml或Erlang。或者是带有更多FP结构和更好的并行性/性能支持的Python，或者是带有parrot的Perl 6，看起来非常有趣。

函数式语言使用不同于命令式语言和面向对象语言的范式。他们使用无副作用函数作为语言的基本构建块。这使得很多事情成为可能，也让很多事情变得更加困难(或者在大多数情况下与人们习惯的不同)。

函数式编程的最大优点之一是无副作用函数的执行顺序并不重要。例如，在Erlang中，这用于以一种非常透明的方式启用并发。 因为函数式语言中的函数与数学函数的行为非常相似，所以很容易将它们翻译成函数式语言。在某些情况下，这可以使代码更具可读性。

传统上，函数式编程的一大缺点也是没有副作用。如果没有IO，很难编写有用的软件，但是如果函数中没有副作用，IO很难实现。因此，大多数人从函数式编程中得到的最多的就是从一个输入计算一个输出。在现代混合范式语言(如f#或Scala)中，这更容易。

许多现代语言都有函数式编程语言的元素。c# 3.0有很多函数式编程特性，你也可以在Python中进行函数式编程。我认为函数式编程流行的原因主要有两个原因:并发正在成为常规编程中的一个真正的问题，因为我们拥有越来越多的多处理器计算机;而且这些语言越来越容易使用。

对我来说，主要的优点是它固有的并行性，特别是当我们现在从更多的MHz转向越来越多的内核时。

我不认为它会成为下一个编程范式并完全取代OO类型方法，但我确实认为我们将会达到这样的境地:要么我们需要用函数式语言编写一些代码，要么我们的通用语言将会发展到包含更多的函数式结构。