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

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

呃，很抱歉，我是一个学究，但它已经流行起来了——我们称之为Excel。

http://research.microsoft.com/en-us/um/people/simonpj/papers/excel/

在计算机上运行的绝大多数程序都是用Excel或其众多流行克隆版本之一编写的。

(有许多程序运行多次，而用Excel编写的程序往往不是其中之一-大多数Excel程序都有1个运行实例)

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

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

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

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

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

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

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

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

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

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

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

OO的方式并不总是“正常的”。这个十年的标准是上个十年的边缘化概念。 函数式编程是数学。Paul Graham谈Lisp(用函数式编程取代Lisp):

简单解释一下 20世纪50年代的语言并没有过时 不是技术而是数学，而且 数学不会过时。正确的 Lisp不是20世纪50年代的东西 硬件，但是，比如说，快速排序 算法，是在 1960年，现在仍然是最快的 通用的排序。