基本介紹
- 中文名：可擴充程式設計語言
- 外文名：Extensible programming language
- 學科：軟體工程
- 定義：具有擴充機制的語言
- 擴充方法：詞法擴充、語法擴充、語義擴充
- 目的：增加新的成分或新的功能
簡介,程式設計語言,常見可擴充程式設計語言,
簡介
可擴充程式設計語言的研究興起於20世紀60年代中期，當時，計算機套用領域越來越多，對程式設計語言提出了各種功能要求，如果把這些功能都納入一個計算機語言中便會使語言的規模過度膨脹。人們企圖以適度規模的語言加上可擴充功能來適應這種需要。可擴充程式設計語言的擴充機制有詞法擴充、語法擴充和語義擴充等層次。例如，關鍵字和運算符換名，通過宏展開引入新的文字等屬於詞法擴充。定義複合數據類型，引入新的運算符等屬於語法擴充，確定新運算符的運算規則和原有運算符的重載（如改變其定義域）等屬於語義擴充。
程式設計語言
用於書寫電腦程式（習慣上指實現級語言程式）的語言。語言的基礎是一組記號和一組規則。根據規則由記號構成的記號串的總體就是語言。在程式設計語言中，這些記號串就是程式。程式設計語言包含三個方面，即語法、語義和語用。語法表示程式的結構或形式，亦即表示構成語言的各個記號之間的組合規則，但不涉及這些記號的特定含義，也不涉及使用者。語義表示程式的含義，亦即表示按照各種方法所表示各個記號的特定含義，但不涉及使用者。語用表示程式與使用者的關係。語言的好壞不僅影響到程式使用是否方便，而且涉及到程式人員所寫程式的質量。語言的種類千差萬別。但是，一般說來，基本成分不外四種。①數據成分，用以描述程式中所涉及的數據；②運算成分，用以描述程式中所包含的運算；③控制成分，用以表達程式中的控制構造；④傳輸成分，用以表達程式中數據的傳輸。
常見可擴充程式設計語言
Forth是六十年代末期，由查理斯·摩爾發展出來在天文台使用的計算機自動控制系統及程式設計語言，允許用戶很容易組合系統已有的簡單指令，定義成為功能較複雜的高階指令。由於其結構精簡、運行快速、操作方便，廣為當代天文學界使用。八十年代以後，有愛用者成立Forth Interest Group在世界各地推廣，並陸續在各類計算機上創建Forth系統及標準的語言。
FORTH以可擴展的詞典為核心，採用兩個堆疊為基礎的高度模組化結構，是一種將解譯器和編譯器合併運用的雙態系統。使用FORTH，可在編譯過程中檢測差錯，並且逐步擴充編譯程式代碼。利用標準FORTH所寫的程式幾乎不必大修改，就能在各類計算機運作；甚至在特別設計的計算機上可以完全放棄組合語言，直接由FORTH轉化成機器語言，就好像現代的Java虛擬機。同時，用戶也可以把自己定義的運算功能加入編譯器中，使Forth語言更有彈性。forth是一種可擴展的，互動式的語言。最初為小型的嵌入式計算機設計的，它幾乎可以在任何主流的晶片上解譯和編譯，甚至已有多種可直接運行forth指令的晶片。在電子表格，專家系統，多用戶資料庫，和分散式實時控制系統中有廣泛的套用。最常用在內建程式，以及系統與過程控制，它也用在微計算機上。主要運用在數據蒐集與處理、圖形處理、專家系統，以及實時流程控制等。
ALGOL，名稱源自算法語言（ALGOrithmic Language）的縮寫，是一族指令式程式語言，發展於1950年代中期，對許多其它程式語言產生了重大影響。計算機協會在教科書及學術文章採用此語言做為描述算法的標準語法超過三十年。由大多數近代程式語言皆使用類似ALGOL的語法來看，ALGOL可與差不多同時期的FORTRAN、LISP及COBOL並列為四大最有影響力的高階語言。ALGOL被設計用來避免FORTRAN中一些已知的問題，最終使許多其它程式語言的興起，包括PL/I、Simula、BCPL、B、Pascal及C。ALGOL引入了程式碼區間，並用begin⋯end來分隔。它是第一個利用詞法作用域實作巢狀函式的語言，也是第一個注重形式語言定義的語言，並在ALGOL 60報告中引入了巴科斯範式來作為設計語言形式文法的原則。
