最近常有一種說(shuō)法，就是我們?nèi)缃衩媾R著另外一場(chǎng)大連圖書檔案管理軟件編程模型的變革，面向?qū)ο蠹夹g(shù)已經(jīng)處于被淘汰的邊緣，函數(shù)式語(yǔ)言會(huì)取代面向?qū)ο蠹夹g(shù)成為主流方式，甚至出現(xiàn)了面向?qū)ο笠阉赖难哉?。作為一個(gè)硬核函數(shù)語(yǔ)言的狂熱者，我個(gè)人當(dāng)然希望函數(shù)式語(yǔ)言可以一統(tǒng)天下，成為主流之選。但是否應(yīng)該把對(duì)象技術(shù)和函數(shù)技術(shù)對(duì)立起來(lái)，取前者而代之，我個(gè)人認(rèn)為，這和如何看待面向?qū)ο蠹夹g(shù)有關(guān)。
作為工程實(shí)踐的對(duì)象技術(shù)
在這個(gè)年代，大家有一種神圣化面向?qū)ο蠹夹g(shù)的傾向，很多人都把對(duì)象技術(shù)奉為高深的思想和理論。但實(shí)際上，面向?qū)ο蠹夹g(shù)僅僅是一種工程實(shí)踐而已，它是依托于其他技術(shù)而存在的一種實(shí)踐，本身并不是一種完備的計(jì)算模型。
致遠(yuǎn)服軟認(rèn)為：http://www.soft8.com.cn/在計(jì)算機(jī)科學(xué)發(fā)展的早期，對(duì)于計(jì)算機(jī)的非數(shù)值計(jì)算應(yīng)用的討論以及對(duì)于可計(jì)算性問(wèn)題的研究和發(fā)展，大抵確立了幾種計(jì)算模型：遞歸函數(shù)類、圖靈機(jī)、Lambda演算、Horn子句、Post系統(tǒng)等。這些當(dāng)中遞歸函數(shù)類是可計(jì)算性問(wèn)題的數(shù)學(xué)解釋；Horn子句是prolog這類邏輯語(yǔ)言的理論基礎(chǔ)；Lambda演算成為了函數(shù)式語(yǔ)言的理論基礎(chǔ)；圖靈機(jī)是圖靈解決可計(jì)算問(wèn)題的時(shí)候所設(shè)計(jì)的裝置，其后成為計(jì)算機(jī)的裝置模型，與圖靈機(jī)相關(guān)的自動(dòng)機(jī)以及馮諾依曼結(jié)構(gòu)，成為了命令式語(yǔ)言的理論基礎(chǔ)。
因此當(dāng)我們談及礦山機(jī)械監(jiān)控管理平臺(tái)軟件函數(shù)語(yǔ)言和命令式語(yǔ)言優(yōu)劣的時(shí)候，實(shí)際上是在討論其背后的計(jì)算模型——也就是Lambda演算和馮結(jié)構(gòu)裝置操作——在執(zhí)行效率和抽象層次上的優(yōu)劣。
而面向?qū)ο蟮V山機(jī)械監(jiān)控管理平臺(tái)軟件技術(shù)則比較尷尬了，其背后沒(méi)有一個(gè)對(duì)應(yīng)的計(jì)算模型（20 世紀(jì) 80 年代曾有人研究過(guò)，Pi 演算是個(gè)備選，但是這個(gè)模型更多的是在并發(fā)對(duì)象領(lǐng)域的語(yǔ)義，而不是通常意義上的計(jì)算模型）。它有點(diǎn)類似于“最佳實(shí)踐”，在不同的計(jì)算模型上有著完全不同實(shí)現(xiàn)方式和含義。因此對(duì)比對(duì)象技術(shù)和其他技術(shù)的時(shí)候，搞清楚到底是哪一種面向?qū)ο缶妥兊酶裢庵匾?
兩種不同的面向?qū)ο?/span>
目前流行的對(duì)象技術(shù)，實(shí)際上有兩個(gè)截然不同的源頭。它們分別在兩個(gè)完全不同的計(jì)算模型上發(fā)展起來(lái)，但是都頂著“面向?qū)ο蟆边@個(gè)帽子。
第一種礦山機(jī)械監(jiān)控管理平臺(tái)軟件開(kāi)發(fā)技術(shù)出現(xiàn)得較晚，在1979 年以后。它是以抽象數(shù)據(jù)類型（ADT，Abstract DataType）為源起發(fā)展出來(lái)的面向?qū)ο蠹夹g(shù)，也就是首先被C++所采用的面向?qū)ο蠹夹g(shù)。
