事情朝着功能性的方向发展已经有一段时间了。过去几年的两个很酷的新孩子，Ruby和Python，都比之前的函数语言更接近——以至于一些Lispers开始支持其中一个或另一个，认为“足够接近”。

随着大规模并行硬件给每个人带来了进化的压力——函数式语言是应对这些变化的最佳位置——认为Haskell或f#将成为下一个大事件的飞跃并不像以前那么遥远。

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

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

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

强烈推荐!

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

我要指出的是，你所说的关于函数式语言的一切，大约20年前，大多数人都在谈论面向对象语言。在那时候，OO是很常见的:

* The average corporate programmer, e.g. most of the people I work with, will not understand it and most work environments will not let you program in it
* It's not really taught at universities (or is it nowadays?)
* Most applications are simple enough to be solved in normal IMPERATIVE ways

改变必须来自某个地方。无论接受过早期技术培训的人是否认为变革没有必要，有意义的重要变革都会发生。尽管当时有很多人反对，但你认为向OO的转变是好的吗?

微软正在Visual Studio上大力推广f#的下一个版本。它是一种像Scala一样的混合语言，并且可以很好地与。net框架的其余部分集成。我认为许多微软公司将使用它来加速高度并行的数据处理应用程序和功能的开发。

我不认为函数式语言能解决任何问题，这只是管理层试图推销的一种炒作，记住唯一的事实:

没有灵丹妙药。

其余的都是胡扯，他们还说OO会解决我们的问题，Web服务会解决我们的问题，Xml会解决我们的问题，但最后上面的真理适用了，一切都失败了。而且，20年后，谁说我们还会使用二进制计算机呢?为什么不是量子计算机呢?没有人能预测未来，至少在这个星球上不能。(这是第二条真理)