大学里并没有真正教授(或者现在有吗?)

我不知道现在的情况，但在90年代中期，我在计算机科学课程中学习了米兰达语言和Lisp语言。尽管从那以后没有使用纯函数语言，但它影响了我解决问题的方式。

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

在90年代中期的CS课程中，面向对象(使用Eiffel教授)的教学与函数式编程相当。两者在当时都是非主流的。面向对象现在可能是“正常”的，但过去并非如此。

我很有兴趣看看f#是否是将FP推向主流的东西。

Slava Akhmechet写了一篇很棒的文章，叫做《函数式编程》(顺便说一下，正是这篇文章让我开始接触FP)。在FP带来的好处中，他非常规地强调了以下几点(我认为这有助于软件工程师的吸引力):

单元测试 调试 并发性 热码部署 机器辅助证明与优化

然后继续讨论FP中更多传统讨论的方面的优点，如高阶函数、咖喱、惰性求值、优化、抽象控制结构(尽管没有讨论单子)、无限数据结构、严格性、延续、模式匹配、闭包等。

强烈推荐!

f#可能会流行起来，因为微软正在推动它。

Pro:

f#将成为Visual Studio下一个版本的一部分 微软建立社区已经有一段时间了——布道者、书籍、与知名客户合作的顾问，以及在微软会议上的大量曝光。 f#是第一个类。net语言，也是第一个具有强大基础的函数式语言(我不是说Lisp, Haskell, Erlang, Scala, OCaml没有很多库，他们只是没有。net那么完整) 强烈支持并行

合同:

即使你精通c#和。net, f#也很难上手——至少对我来说是这样的:( 可能很难找到好的f#开发人员

所以，我给f# 50:50的机会变得重要。其他函数式语言在不久的将来也不会出现。

我很难想象纯函数式语言会成为当今的通用语言，其中的原因我就不赘述了(因为它们是煽风点火的材料)。也就是说，无论哪种语言(如果允许的话)，函数式编程都能带来好处。对我来说，更容易测试我的代码。我经常和数据库打交道……我倾向于:

编写一个函数来获取数据、操作数据并返回数据 编写一个非常简单的包装器，调用数据库，然后返回通过函数传递该数据的结果

这样做允许我为操作函数编写单元测试，而不需要创建模拟之类的东西。

我确实认为纯函数式语言非常有趣……我只是觉得对我来说重要的是我们能从他们身上学到什么，而不是我们能用他们做什么。

它之所以流行起来，是因为它是控制复杂性的最佳工具。 看到的: ——西蒙·佩顿-琼斯演讲《哈斯凯尔的味道》幻灯片109-116 ——Tim Sweeney的《下一个主流编程语言:游戏开发者的视角

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

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

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

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