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

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

FP无疑是下一个最佳范例。现在哪种语言可能是下一步，这是很难的东西，但我相信可能是Haskell, f#， Clojure, Ocaml或Erlang。或者是带有更多FP结构和更好的并行性/性能支持的Python，或者是带有parrot的Perl 6，看起来非常有趣。

函数式编程将很可能成为工程师和科学家用来解决他们所面临的问题的工具。它不会像早期的语言那样占领世界。然而，最难打败的产品是Excel，如果我是一名工程师，需要做计算，Excel是很棒的。

However, F# is going to be another source and will likely fill design needs by the non-Computer Scientists. Let's face it, Computer Scientists have done a great job of creating a WHOLE new way of doing things. Object Oriented Programming is GREAT. But sometimes you just need a way to solve an equation, get a solution and graph it. That's it. Then a language like F# fills the bill. Or maybe you want to build a finite state machine, F# again could be one of the solutions, but then C could be a solution as well.

但是当涉及到并行处理时，Excel大放异彩，f#也会及时出现。但是要以友好的方式，F#= friendly。

微软正在Visual Studio上大力推广f#的下一个版本。它是一种像Scala一样的混合语言，并且可以很好地与。net框架的其余部分集成。我认为许多微软公司将使用它来加速高度并行的数据处理应用程序和功能的开发。

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

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

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

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