實(shí)際上這里函數(shù)語言的挑戰(zhàn)是類型系統(tǒng)之爭(zhēng)，而非面向?qū)ο蠛秃瘮?shù)語言之爭(zhēng)。因此，消息傳遞類的對(duì)象語言根本不在討論之列，而對(duì)于靜態(tài)類型面向?qū)ο笳Z言而言，除了 C++外（而對(duì)于C++，面向?qū)ο髢H僅是構(gòu)造類型系統(tǒng)的一種方式，另一種則是著名的范型編程。我仍然相信，在語義上靜態(tài)類型函數(shù)語言會(huì)勝過 C++很多，但是彈性和表現(xiàn)力 C++并不會(huì)差太多），其它主流語言如 Java 和 C#，類型系統(tǒng)已經(jīng)被限制在一個(gè)相對(duì)簡(jiǎn)單的范疇內(nèi)，說完敗也不為過。
主流平臺(tái)也為需要處理復(fù)雜在安卓手機(jī)進(jìn)行倉庫管理開發(fā)者提供了不同的選擇，比如.NET 平臺(tái)上的F#以及JVM上的Scala，都是在主流平臺(tái)上引入靜態(tài)類型函數(shù)語言的一些特征，來簡(jiǎn)化復(fù)雜類型系統(tǒng)的構(gòu)造。
Lisp并不是一個(gè)純函數(shù)語言，它允許有副作用存在。后來發(fā)展了一些嚴(yán)格的純函數(shù)語言，嚴(yán)格禁止副作用，也就是所有變量都和數(shù)學(xué)中的變量具有相同的語義，不能修改。然而礦山機(jī)械監(jiān)控管理平臺(tái)軟件的程序終歸是要處理狀態(tài)變化、輸入輸出這些不具有函數(shù)語義的操作的。一些純函數(shù)語言開始引入了更精巧的方式來管理狀態(tài)，比如Monad。Monad的傳遞性使得副作用的擴(kuò)散在函數(shù)中變得更明確可見。
致遠(yuǎn)服軟認(rèn)為：http://www.soft8.com.cn/這種方式本來是用來解決純函數(shù)語言內(nèi)副作用處理的一種技巧，但是恰好趕上Intel受制于生產(chǎn)技術(shù)，我們無法再通過提高單核頻率來追趕摩爾定律，必須通過集成多核的方式來制造更快的CPU。多核CPU作為一種新的事物給計(jì)算機(jī)界帶來了新的恐慌，大家覺得有必要使用一種新的編程模型來開發(fā)安卓手機(jī)進(jìn)行倉庫管理的系統(tǒng)軟件。
而第一個(gè)嘗試的方案就是將計(jì)算分布到多個(gè)CPU上，即利用多核進(jìn)行并行計(jì)算。這時(shí)，純函數(shù)式語言對(duì)于副作用的處理，恰好給多核編譯器提供了一個(gè)理想的優(yōu)化方式：所有無作用的函數(shù)皆可以隨意分布到多核上，而帶副作用的函數(shù)則無法分布。通過對(duì)類型系統(tǒng)的簡(jiǎn)單識(shí)別和標(biāo)注，就可以自動(dòng)地將純函數(shù)式程序編譯為支持多核的程序。這在一段時(shí)間內(nèi)，形成一種函數(shù)式語言是自動(dòng)適應(yīng)多核的，而面向?qū)ο笫前沧渴謾C(jī)進(jìn)行倉庫管理的程序則需要重寫開發(fā)。一時(shí)間內(nèi)，函數(shù)與對(duì)象之間的選擇實(shí)際上變成了多核和單核的選擇。
