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

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

我不认为大多数现实的人会认为函数式编程会流行起来(成为像OO那样的主要范式)。毕竟，大多数业务问题都不是漂亮的数学问题，而是用来移动数据并以各种方式显示它们的繁琐的命令式规则，这意味着它不适合纯函数式编程范式(monad的学习曲线远远超过OO)。

对了，函数式编程让编程变得有趣。它会让你欣赏宇宙中潜在数学的简洁表达所蕴含的永恒之美。人们说学习函数式编程会让你成为更好的程序员。当然，这是非常主观的。我个人认为这也不完全正确。

它让你成为一个更有感情的人。

因为FP在生产力、可靠性和可维护性方面有显著的好处。多核可能是一个杀手级应用程序，最终让大公司在大量遗留代码的情况下转换。此外，即使是像c#这样的大型商业语言，也因为多核问题而呈现出一种独特的函数风格——副作用根本不适合并发性和并行性。

我不认为“普通”程序员不能理解它。他们会的，就像他们最终理解了面向对象编程一样(它同样神秘和怪异，如果不是更神秘的话)。

此外，大多数大学都教授FP，许多甚至将其作为第一门编程课程。

一些想法:

The debate between FP and imperative programming (OO, structured, etc), has been raging since Lisp versus Fortran. I think you pose excellent questions but recognize that they are not especially new. Part of the hoopla over FP is that we seem to be recognizing that concurrency is very difficult, and that locks and other mechanisms in OO (e.g. Java) are just one solution. FP offers a refreshing sea change with ideas such as Actors and the power of stateless computing. To those wrestling with OO, the landscape seems highly appealing. Yes, schools teach FP. In fact, the University of Waterloo and others offer Scheme in first year classes (reference here). Regarding the average programmer, I'm sure that the same arguments were given against C++ back in the early 1990s. And look what happened. If businesses can gain an advantage via a technology, you can bet that people will receive training.

这并不是说这是板上钉钉的事，也不是说在3-5年内不会出现反弹(一如既往)。然而，朝着计划生育的趋势是有好处的，值得关注。

我要指出的是，你所说的关于函数式语言的一切，大约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的转变是好的吗?

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

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