【正文】 Ada 是強(qiáng)類型結(jié)構(gòu)化語(yǔ)言。它反映了 70 年代末軟件技術(shù)、軟件工程水平。 Ada 是在國(guó)際范圍內(nèi)投標(biāo)設(shè)計(jì)的，法國(guó)的一家軟件公司中標(biāo)， 成為 Ada 發(fā)明人。語(yǔ)言眾多(常用 400500 種，加上派生方言多達(dá) 1500 種 )造成不可移植、難于維護(hù)，為擺脫這種新的軟件危機(jī)下定決心搞統(tǒng)一的軍用通用語(yǔ)言。研究結(jié)果表明，在硬件成本降低和可靠性提高的同時(shí)，軟件費(fèi)用不僅相對(duì)數(shù)，絕對(duì)數(shù)也在增加。盡管它的 9000 句編譯器具有 Ada20 萬(wàn)句編譯器 80%的功能，也沒有取得 Pascal 那樣的成就。它是用于系統(tǒng)設(shè)計(jì)的強(qiáng)類型語(yǔ)言。 Modula2增加了同步進(jìn)程機(jī)制以支持并發(fā)程序設(shè)計(jì)，有有限的低級(jí)設(shè)施直接和系統(tǒng)打交道。模塊封裝了數(shù) 據(jù)和操作 (過程 )，模塊定義和模塊實(shí)現(xiàn)顯式分開?？煞謩e編譯的模塊是用戶程序的資源。于是 Pascal 的設(shè)計(jì)者 1975 年又開始開發(fā) Modula 語(yǔ)言， 1977 年正式發(fā)布為 Modula2。聲明順序過嚴(yán)，無(wú)靜態(tài)變量概念 (局部量一旦所在局部塊執(zhí)行完畢就消失 )都給程序設(shè)計(jì)帶來(lái)不便。最后的結(jié)論它是 偽 強(qiáng)類型。 Pascal除了無(wú)獨(dú)立模塊和分別編譯機(jī)制不能編大程序而外，原來(lái)它的強(qiáng)類型是有漏洞的。沒有達(dá)到并發(fā) Pascal 那樣的影響。 Hanson 極力推崇語(yǔ)言的簡(jiǎn)單性，所以 Edison 比并發(fā) Pascal小得多，普通 (不大的 )微機(jī)都可以運(yùn)行。 令人不解的是正當(dāng)人們對(duì)進(jìn)程、管理概念充分評(píng)價(jià)時(shí)， 本人放棄了這些概念。通過管程 (管理資源的模塊 )實(shí)現(xiàn)進(jìn)程通訊。控制方面提出進(jìn)程類和管程類的概念。它沒有追求大而全，只是將 Pascal 向并發(fā)方面作了擴(kuò)充，希望用 Pascal 寫操作系統(tǒng)。 EUCLID 以后發(fā)展成數(shù)據(jù)流語(yǔ)言。為了易于驗(yàn)證，無(wú) goto 語(yǔ)句，指針僅限于集合類型，類型兼容有嚴(yán)格的定義，函數(shù)調(diào)用絕無(wú)邊界效應(yīng)。程序設(shè)計(jì)和驗(yàn)證同時(shí)進(jìn)行。 數(shù)據(jù)抽象在 1975 年卡內(nèi)基﹒梅降大學(xué) Wulf 和 Shaw 開發(fā)的 ALPHARD 語(yǔ)言中是數(shù)據(jù)模型 FORM。 CLU 無(wú) goto，無(wú)全程量概念。 CLU 的抽象數(shù)據(jù)類型稱之為簇 (Cluster)。人們可通過壓入數(shù)據(jù)、彈出數(shù)據(jù)的操作對(duì)棧體進(jìn)行操作。數(shù)據(jù)抽象可定義更遠(yuǎn)離機(jī)器而近于人類的數(shù)據(jù)概念。定義描述了語(yǔ)義，實(shí)現(xiàn)對(duì)于使用該數(shù)據(jù)的用戶是無(wú)關(guān)緊要的，因而，利于修改。數(shù)據(jù)抽象是 70 年代類型強(qiáng)化和抽象技術(shù)的重要成果，它允許用戶定義抽象的數(shù)據(jù)類型。 Mesa 可配置語(yǔ)言編譯后的各模塊。有分別編譯，異常處理機(jī)制。 Mesa 是強(qiáng)類型結(jié)構(gòu)化語(yǔ)言，有模塊 (若干子程序集合 )概念和抽象數(shù)據(jù)類型。在人工智能研究中得到了廣泛的應(yīng)用， 80 年代 日本聲稱研制的五代機(jī)以 Prolog 作為主導(dǎo)語(yǔ)言并研制 Prolog 機(jī)。以回溯查找匹配， Prolog 的數(shù)據(jù)結(jié)構(gòu)類似 Pascal 的記錄或 LISP 的表。 Prolog 規(guī)則的執(zhí)行是靠該系統(tǒng)內(nèi)部的推理機(jī)，而推理機(jī)按一定的次序執(zhí)行。Prolog 有著完全嶄新的程序設(shè)計(jì)風(fēng)格，它只需要程序員聲明 事實(shí) 規(guī)則 。以后的發(fā)展把與它同期出現(xiàn)的 Pascal 遠(yuǎn)遠(yuǎn)拋在后面，成為系統(tǒng)軟件的主導(dǎo)語(yǔ)言。微機(jī)上的各種移植版本的 C語(yǔ)言，對(duì) C成為通用的程序設(shè)計(jì)語(yǔ)言起到了推波助瀾的作用。因?yàn)樗?jiǎn)潔，近于硬件，代碼高效，并有大量環(huán)境工具支持。在某種意義下 C得益于靈活的指針、函數(shù)副作用和數(shù)據(jù)類型靈活的解釋。輸入 /出依賴 UNIX，使語(yǔ)言簡(jiǎn)短。上層是結(jié)構(gòu)化的控制結(jié)構(gòu)，有類似Pascal 的數(shù)據(jù)類型。它給程序員較大的自由度，下層數(shù)據(jù)轉(zhuǎn)換靈活。 C語(yǔ)言是個(gè)小語(yǔ)言，追求程序簡(jiǎn)潔，編譯運(yùn)行效率高。它使 UNIX 成為世界上第一個(gè)易于移植的操作系統(tǒng)。 C 擴(kuò)充了類型 (B是無(wú)類型的 )。 將 BCPL 改造成 B語(yǔ)言，用于重寫 UNIX 多用戶操作系統(tǒng)。T 公司貝爾實(shí)驗(yàn)室 Ritchie 開發(fā)了 C語(yǔ)言。直到 80年代末 DEC 公司還用它作系統(tǒng)設(shè)計(jì)。它是無(wú)類型的結(jié)構(gòu)化語(yǔ)言，沒有 goto 語(yǔ)句。 VDM 以后還用于多種語(yǔ)言如 CHILL， Ada，指導(dǎo)編譯器的開發(fā)。雖然巨大投資 (億 )未見可見效益 ,IBM 終止了維也納實(shí)驗(yàn)室的語(yǔ)義學(xué)研究方向，但 VDM 方法及指稱語(yǔ)言學(xué)對(duì)計(jì)算機(jī)語(yǔ)言發(fā)展影響是深遠(yuǎn)的。 19731978 年 和 開發(fā)了維也納開發(fā)方法 VDM。最先是IBM 維也納實(shí)驗(yàn)室集合歐洲著名的計(jì)算機(jī)科學(xué)家于 1972 年寫出 PL/1 的操作語(yǔ)義。非過程式語(yǔ)言、高抽象模式語(yǔ)言大量涌現(xiàn)。特別是 Backus 在 1978 年發(fā)表 程序設(shè)計(jì)能從馮人工智 能的專家系統(tǒng)進(jìn)入實(shí)用。 C就是在這種情況下成長(zhǎng)起來(lái)的優(yōu)秀語(yǔ)言。結(jié)構(gòu)化FORTRAN、 COBOL 力圖在新的競(jìng)爭(zhēng)中保全自己的地位，專用語(yǔ)言叢生。設(shè)計(jì)精巧的小型過程語(yǔ)言藉微機(jī)普及得到發(fā)展。 70 年代語(yǔ)言繼續(xù)發(fā)展，在總結(jié) PL/1 和 ALGOL 68失敗的基礎(chǔ)上，研制大型功能齊全的語(yǔ)言又一次掀起高潮。程序越大越要求高的抽象力、安全性、積少成 多的模塊拼合功能。僅管 Pascal 得到普遍好評(píng)，但它只能描述順序的小程序，功能太弱。 70 年代完善的軟件工程工具 硬件繼續(xù)降價(jià)，功能、可靠性反而進(jìn)一步提高。在人們?yōu)閿[脫軟件危機(jī)而對(duì)結(jié)構(gòu)化程序設(shè)計(jì)寄于極大希望的時(shí)代， Pascal 得到很快的普及。所有進(jìn)入程序的數(shù)據(jù)都 要顯式聲明、顯式類型轉(zhuǎn)換。 Pascal 的數(shù)據(jù)類型大大豐富了，有整、實(shí)、字符、布爾等純量類型：有數(shù)組、記錄、變體記錄、串等結(jié)構(gòu)類型；增加了集合、枚舉、指針類型。程序模塊有子程序 (過程和函數(shù) )，分程序，可任意嵌套，因而有全程量、局部量、作用域與可見性概念。 Pascal 有完全結(jié)構(gòu)化的控制結(jié)構(gòu)。它只限于順序程序設(shè)計(jì)。 Pascal 的研制者一開始就本著 簡(jiǎn)單、有效、可靠 的原則設(shè)計(jì)語(yǔ)言。為此， Dijkstra 等人發(fā)表了 少數(shù)人聲明 。強(qiáng)調(diào)語(yǔ)言簡(jiǎn)單的人持有不同看法。ALGOL 68 集中了當(dāng)時(shí)語(yǔ)言和軟件技術(shù)之大成。語(yǔ)言作成可擴(kuò)充式，也就是說，有一個(gè)相對(duì)完備的小語(yǔ)言核心，可以不斷增加新特征以增強(qiáng)語(yǔ) 言表達(dá)能力。強(qiáng)化了類型定義和顯式轉(zhuǎn)換；有并發(fā)、異常處理功能；保留 goto 允許有限制的函數(shù)邊界效應(yīng)：過程可以作為參數(shù)傳遞；用戶可定義較復(fù)雜數(shù)據(jù)結(jié)構(gòu)、定義運(yùn)算符。 1965 年以Wijngaarden 為首的一批科學(xué)家開始研究新 ALGOL。 1968 年，他帶著 ALGOL W 參加新一代 ALGOL 的研究委 員會(huì)，即開發(fā) ALGOL 68 的工作組。由于它結(jié)構(gòu)簡(jiǎn)潔、完美。人們積極研制反映新理論的語(yǔ)言。這時(shí)也提出了全程變量帶來(lái)的數(shù)據(jù)耦合效應(yīng)、函數(shù)調(diào)用的副作用、類型隱 含聲明和