先說下歷史, 圖靈,不但完成了二戰(zhàn)密碼破解任務(wù),而且是計算機(jī)理論的奠基者,解決世紀(jì)數(shù)學(xué)難題的同時完成了那篇著名的論文《On Computable Numbers with an Application to the Entscheidungs-problem》,論文中定義的圖靈機(jī)中僅僅一條紙帶,一個讀寫頭,就可以完成所有計算問題,現(xiàn)在的所有計算機(jī)都可以抽象為圖靈機(jī),圖靈機(jī)也是所有過程式編程語言的基礎(chǔ)理論依據(jù),因為圖靈機(jī)更接近現(xiàn)實世界,更容易實現(xiàn),因此在一段時間內(nèi),全部都是過程式編程語言。
但是,一場天才之間的相遇,丘齊當(dāng)上了圖靈的老師,一場思想的碰撞,邱齊的 lambda算子(λ)橫空出世,只用最簡潔的幾條公理便建立起了與圖靈機(jī)完全等價的計算模型,掀開了函數(shù)編程語言的時代,先后出現(xiàn)了Lisp 、 Scheme 、 Haskell這些以抽象性和簡潔美為主旨的語言。