它已经在Hadoop中的Map/reduce中流行起来

函数式语言的一个关键特征是一类函数的概念。其思想是，您可以将函数作为参数传递给其他函数，并将它们作为值返回。

函数式编程包括编写不改变状态的代码。这样做的主要原因是，对函数的连续调用将产生相同的结果。您可以使用任何支持第一类函数的语言编写函数式代码，但有一些语言(如Haskell)不允许更改状态。事实上，你根本不应该产生任何副作用(比如打印文本)——这听起来可能完全没用。

相反，Haskell对IO: monads采用了不同的方法。这些对象包含解释器顶层要执行的所需IO操作。在其他任何层面上，它们都只是系统中的对象。

函数式编程有什么优点?函数式编程允许代码出现错误的可能性更小，因为每个组件都是完全隔离的。此外，使用递归和一级函数允许简单的正确性证明，这通常反映了代码的结构。

我一定是糊涂了，但我还是不明白。是否有像f#这样的函数式语言编写的小型应用程序的实际例子，你可以查看源代码，并了解如何以及为什么使用这种方法比c#更好?

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

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

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

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

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

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

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