我在这里看到很多关于函数式语言的讨论。为什么你要使用传统语言而不是传统语言呢?他们在哪些方面做得更好?他们更不擅长什么?理想的函数式编程应用程序是什么?
当前回答
微软正在Visual Studio上大力推广f#的下一个版本。它是一种像Scala一样的混合语言，并且可以很好地与。net框架的其余部分集成。我认为许多微软公司将使用它来加速高度并行的数据处理应用程序和功能的开发。
其他回答
函数式语言的一个关键特征是一类函数的概念。其思想是，您可以将函数作为参数传递给其他函数，并将它们作为值返回。
函数式编程包括编写不改变状态的代码。这样做的主要原因是，对函数的连续调用将产生相同的结果。您可以使用任何支持第一类函数的语言编写函数式代码，但有一些语言(如Haskell)不允许更改状态。事实上，你根本不应该产生任何副作用(比如打印文本)——这听起来可能完全没用。
相反，Haskell对IO: monads采用了不同的方法。这些对象包含解释器顶层要执行的所需IO操作。在其他任何层面上，它们都只是系统中的对象。
函数式编程有什么优点?函数式编程允许代码出现错误的可能性更小，因为每个组件都是完全隔离的。此外，使用递归和一级函数允许简单的正确性证明，这通常反映了代码的结构。
FP无疑是下一个最佳范例。现在哪种语言可能是下一步，这是很难的东西，但我相信可能是Haskell, f#， Clojure, Ocaml或Erlang。或者是带有更多FP结构和更好的并行性/性能支持的Python，或者是带有parrot的Perl 6，看起来非常有趣。
对我来说，主要的优点是它固有的并行性，特别是当我们现在从更多的MHz转向越来越多的内核时。
我不认为它会成为下一个编程范式并完全取代OO类型方法，但我确实认为我们将会达到这样的境地:要么我们需要用函数式语言编写一些代码，要么我们的通用语言将会发展到包含更多的函数式结构。
事情朝着功能性的方向发展已经有一段时间了。过去几年的两个很酷的新孩子，Ruby和Python，都比之前的函数语言更接近——以至于一些Lispers开始支持其中一个或另一个，认为“足够接近”。
随着大规模并行硬件给每个人带来了进化的压力——函数式语言是应对这些变化的最佳位置——认为Haskell或f#将成为下一个大事件的飞跃并不像以前那么遥远。
我不认为函数式语言能解决任何问题，这只是管理层试图推销的一种炒作，记住唯一的事实:
没有灵丹妙药。
其余的都是胡扯，他们还说OO会解决我们的问题，Web服务会解决我们的问题，Xml会解决我们的问题，但最后上面的真理适用了，一切都失败了。而且，20年后，谁说我们还会使用二进制计算机呢?为什么不是量子计算机呢?没有人能预测未来，至少在这个星球上不能。(这是第二条真理)
