編輯語言

程序語言的編輯設計必須讓人們易於讀寫，它也應該讓計算機能夠理解並運行。

它和數據庫及信息檢索的關係密切，數據庫查詢語言就是這種關係的一個例證。不但如此，人們正在開展研究，讓程序語言包含數據結構，力圖使數據庫管理成為程序語言的一部分。

它和操作系統及計算機結構的關係不可低估。程序語言的實現涉及輸入、輸出和存儲管理。計算機指令集和硬件直接影響程序語言的實現。硬件設計語言的研究以及把程序直接編譯成VLSI是這方面的兩個例子。

程序語言經歷了由低級語言到高級語言的過程。低級語言和高級語言便是進行程序設計語言的兩大類。低級語言有機器語言和彙編語言，高級語言有C/C++、PASCAL、BASIC等。

低級語言是面向機器語言，它是特定的計算機系統所固有的語言，如彙編語言就是一種低級程序語言。

世界上第一台計算機面世至今已有50多年的歷史，現代計算機的運算速度已是人類第一台計算機所不可比擬的。只是，當前的計算機硬件仍只能理解機器本身的語言——機器指令，機器指令相當原始，它通過電子線路對寄存器中取值為0和1的位(bit)進行操作。用機器語言進行程序設計，需要對機器結構有較多的瞭解。用機器指令編制出來的程序可讀性很差，程序難以修改和維護。

為了提高程序設計效率，人們考慮用有助記憶的符號來表示機器指令的操作碼和操作數，例如，用ADD表示加法，SUB表示減法等等，這就是彙編語言。使用匯編語言編制程序時，用户可以不必使用數字來表示機器指令的操作碼和操作數地址。由於所採用的符號的含義和功能十分接近，用户比較容易記住。這樣，用户就可較為方便地表達自己的思想，編制程序的效率和程序的可讀性也都提高了。然而，彙編語言是一種和計算機的機器語言十分接近的語言，它的書寫格式在很大程度上取決於特定計算機的機器指令，是一種低級語言。

人們在使用匯編語言編寫程序時，發覺它仍未能擺脱機器指令的束縛，這對於人們抽象思維和交流十分不便。高級語言採用編譯程序及解釋程序完成了這項工作，這類語言與人們的自然語言比較接近，因而大大提高了人們進行程序設計的效率，也便於人們交流。 ^[1] 

時至今日，計算機仍然只能理解和執行機器語言，而各種程序編輯語言只能是人和機器之間進行信息交流的“媒介”。程序語言的引入意味着必須有一個程序，使機器能夠理解用某一程序語言書寫的用户程序，而擔負這一工作的程序便是“語言處理程序”。它可以分為兩大類：解釋程序和翻譯程序。

解釋程序負責處理所輸入的源語言書寫的源程序，然後直接執行源程序(或源程序的內部形式)；翻譯程序則負責處理所輸入的用程序語言書寫的程序，然後，將它翻譯或用另一種語言書寫的與源程序等價的程序(稱為目標程序)。如果源語言是彙編語言，而目標語言是機器語言，則一般將這種翻譯程序稱為彙編程序；如果源語言是高級語言，而目標語言是低級語言(彙編語言或機器語言)，則這種翻譯程序一般稱為編譯程序。這樣，解釋程序和編譯程序的區別就在於解釋程序並不產生目標程序，而它直接執行源程序本身(或源程序的內部形式)。

用高級語言書寫的程序的執行一般這樣完成：源程序首先被翻譯成目標程序，如果目標程序是用匯編語言表示的，則還需經過彙編程序進一步轉換成用機器語言表示的目標程序，才能最後將目標程序裝入並執行。 ^[1] 

程序語言有多種分類方法，大部分程序語言都是算法描述型語言，如C/C++、Java等，還有一部分是數據描述型語言，如HTML等標記語言。按照編程技術難易程度可分為低級語言(機器語言、彙編語言)和高級語言；按照程序語言設計風格可分為命令式語言(過程化語言)、結構化語言、面嚮對象語言、函數式語言、腳本語言等；按照語言應用領域可分為通用程序語言(GPPL)和專用程序語言(DSL)；按照程序執行方式，可分為解釋型語言(如JavaScript、Python、Perl、R等)，編譯型語言(如C/C++等)，編譯+解釋型語言(如Java、PHP等)。

機器語言是以二進制代碼表示的指令集合，是計算機唯一能直接識別和執行的語言。機器語言的優點是佔用內存少、執行速度快，缺點是難編寫、難閲讀、難修改、難移植。

彙編語言是將機器語言的二進制代碼指令用簡單符號(助記符)表示的一種語言。因此彙編語言與機器語言本質上是相同的，都可以直接對計算機硬件設備進行操作。彙編語言編程需要對計算機硬件結構有所瞭解，這無疑大大增加了編程難度。但是彙編語言生成的可執行文件很小，而且執行速度很快。因此，工業控制領域經常採用彙編語言進行編程。彙編語言與計算機硬件設備(主要是CPU)相關，不同系列CPU(如ARM與Intel的CPU)的機器指令不同，因此它們的彙編語言也不同。

高級語言將計算機內部的許多相關機器操作指令，合併成一條高級程序指令，並且屏蔽了具體操作細節(如內存分配、寄存器使用等)，這樣大大簡化了程序指令，使編程者不需要專業知識就可以進行編程。高級程序語言便於人們閲讀、修改和調試，而且移植性強，因此高級程序語言已成為普遍使用的編程語言。 ^[2]