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

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

我同意第一点，但是时代变了。公司会做出回应，即使他们是后期采用者，如果他们看到有一个优势。生活是动态的。

90年代末，他们在斯坦福教授哈斯凯尔和ML。我相信卡内基梅隆大学、麻省理工学院、斯坦福大学和其他一些好学校正在向学生们展示它。

我同意大多数“在网络上公开关系数据库”的应用程序将在很长一段时间内继续这样做。对于这个问题，Java EE、. net、RoR和PHP已经演化出了一些非常好的解决方案。

您发现了一些重要的问题:这可能是其他方法无法轻松解决的问题，而这些方法将促进函数式编程。那是什么?

大规模多核硬件和云计算会推动它们向前发展吗?

为什么函数式编程很重要

OOP要花多长时间才能被普通的公司程序员理解? 我在乌得勒支大学(Utrecht University)学习函数式编程，我想是在1994年，直到最近几年它才开始在“现实世界”流行起来。 没有所谓的“简单应用程序”。: -)

我认为，当我们开始在硬件中添加越来越多的核心时，软件某些关键部分的免费编程(接近)将是必不可少的。给函数式编程多一点时间。在当前和未来的c#版本中，函数式编程将会让那些公司程序员在没有意识到的情况下做好函数式编程的准备……

实际上，在阅读了《黑客与画家》之后，我正在学习LISP，我相信我会从LISP中学到一些东西，这将使我更好地理解我所编程的其他东西。现在我不认为我会在我的日常生活中使用LISP，只是因为有人在1995年创建了一个网站，成为雅虎商店。所以无论如何这是一个双赢(如果它流行起来，我赢了，如果没有，我得到了更多关于如何编程和如何工作的观点)

现在…关于另一个有点相关的问题，我认为明年32核处理器到来后编程会发生很大变化吗?是的，我不知道它是否会是函数式编程，但是…我很确定会有一些不同的东西!

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