我不认为函数式编程方法“流行起来”有任何问题，因为它(作为一种编程风格)已经被使用了大约40年。每当OO程序员编写有利于不可变对象的干净代码时，这些代码就是借用了函数概念。

然而，这些天来，强制函数式风格的语言正在获得大量的虚拟墨水，这些语言是否会在未来占据主导地位是一个悬而未决的问题。我自己的怀疑是混合的、多范式的语言，如Scala或OCaml 将很可能统治“纯粹的”函数语言，就像纯粹的OO语言(Smalltalk、Beta等)影响了主流编程一样，但还没有成为最广泛使用的表示法。

最后，我忍不住要指出，你对FP的评论与我几年前从过程程序员那里听到的评论高度相似:

(恕我直言，这是神话)“普通”程序员不理解它。 这并没有被广泛教授。 任何你能用它来写的程序，都能用现有的技术以另一种方式来写。

Just as graphical user interfaces and "code as a model of the business" were concepts that helped OO become more widely appreciated, I believe that increased use of immutability and simpler (massive) parallelism will help more programmers see the benefits that the functional approach offers. But as much as we've learned in the past 50 or so years that make up the entire history of digital computer programming, I think we still have much to learn. Twenty years from now, programmers will look back in amazement at the primitive nature of the tools we're currently using, including the now-popular OO and FP languages.

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

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

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

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

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

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

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

我认为函数式编程语言成为“下一个大事件”的最大理由是，在未来，多核处理器将成为标准。程序员将不得不利用这一点，而函数式编程为构建顶级并发软件提供了极好的可能性。

附注:当我在波士顿大学(1998 - 02)读大学时，我们花了一个学期学习Scheme，它是LISP的近亲。我们刚开始学的时候，我都想把头发扯下来。课程结束时，一切都变得很自然了。

哇，这是一个有趣的讨论。我对此有自己的看法:

FP使一些任务相对简单(与非FP语言相比)。 非FP语言已经开始从FP中汲取思想，所以我怀疑这种趋势会继续下去，我们将看到更多的合并，这将帮助人们更容易地过渡到FP。

Slava Akhmechet写了一篇很棒的文章，叫做《函数式编程》(顺便说一下，正是这篇文章让我开始接触FP)。在FP带来的好处中，他非常规地强调了以下几点(我认为这有助于软件工程师的吸引力):

单元测试 调试 并发性 热码部署 机器辅助证明与优化

然后继续讨论FP中更多传统讨论的方面的优点，如高阶函数、咖喱、惰性求值、优化、抽象控制结构(尽管没有讨论单子)、无限数据结构、严格性、延续、模式匹配、闭包等。

强烈推荐!