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

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

为什么函数式编程很重要

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

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

如果一个人看不到其他艺术的价值，他就无法理解他所选择的艺术的完美和不完美。遵循规则只允许在技术上发展到一定程度，然后学生和艺术家必须学习更多，进一步探索。在学习战略艺术的同时，学习其他艺术也是有意义的。

谁没有通过观察别人的活动来更多地了解自己呢?要学剑，就要学吉他。要学商业，先学商业。只学习刀剑会使你心胸狭窄，不能向外成长。

——宫本武藏《五环之书》

我个人认为，对于分布式系统和多线程/并行编程，函数式编程将很快取得突破。只要它通过编程库与现有的OOP范式集成。所以…在我看来，纯功能的方法仍将停留在学术上。

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

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