实际上这里函数语言的挑战是类型系统之争，而非面向对象和函数语言之争。因此，消息传递类的对象语言根本不在讨论之列，而对于静态类型面向对象语言而言，除了 C++外（而对于C++，面向对象仅仅是构造类型系统的一种方式，另一种则是著名的范型编程。我仍然相信，在语义上静态类型函数语言会胜过 C++很多，但是弹性和表现力 C++并不会差太多），其它主流语言如 Java 和 C#，类型系统已经被限制在一个相对简单的范畴内，说完败也不为过。

      主流平台也为需要处理复杂在安卓手机进行仓库管理开发者提供了不同的选择，比如.NET 平台上的F#以及JVM上的Scala，都是在主流平台上引入静态类型函数语言的一些特征，来简化复杂类型系统的构造。

      Lisp并不是一个纯函数语言，它允许有副作用存在。后来发展了一些严格的纯函数语言，严格禁止副作用，也就是所有变量都和数学中的变量具有相同的语义，不能修改。然而矿山机械监控管理平台软件的程序终归是要处理状态变化、输入输出这些不具有函数语义的操作的。一些纯函数语言开始引入了更精巧的方式来管理状态，比如Monad。Monad的传递性使得副作用的扩散在函数中变得更明确可见。

      致远服软认为：http://www.soft8.com.cn/这种方式本来是用来解决纯函数语言内副作用处理的一种技巧，但是恰好赶上Intel受制于生产技术，我们无法再通过提高单核频率来追赶摩尔定律，必须通过集成多核的方式来制造更快的CPU。多核CPU作为一种新的事物给计算机界带来了新的恐慌，大家觉得有必要使用一种新的编程模型来开发安卓手机进行仓库管理的系统软件。

      而第一个尝试的方案就是将计算分布到多个CPU上，即利用多核进行并行计算。这时，纯函数式语言对于副作用的处理，恰好给多核编译器提供了一个理想的优化方式：所有无作用的函数皆可以随意分布到多核上，而带副作用的函数则无法分布。通过对类型系统的简单识别和标注，就可以自动地将纯函数式程序编译为支持多核的程序。这在一段时间内，形成一种函数式语言是自动适应多核的，而面向对象是安卓手机进行仓库管理的程序则需要重写开发。一时间内，函数与对象之间的选择实际上变成了多核和单核的选择。