編程語言是什么

編程語言（programming language）是用來定義計算機程序的形式語言。它是一種被標準化的交流技巧，用來向計算機發出指令，一種能夠讓程序員準確地定義計算機所需要使用數據的計算機語言，并精確地定義在不同情況下所應當采取的行動。

編程語言（programming language），是用來定義計算機程序的形式語言。它是一種被標準化的交流技巧，用來向計算機發出指令，一種能夠讓程序員準確地定義計算機所需要使用數據的計算機語言，并精確地定義在不同情況下所應當采取的行動。

最早的編程語言是在電腦發明之前產生的，當時是用來控制提花織布機及自動演奏鋼琴的動作。在電腦領域已發明了上千不同的編程語言，而且每年仍有新的編程語言誕生。很多編程語言需要用指令方式說明計算的程序，而有些編程語言則屬于宣告式編程，說明需要的結果，而不說明如何計算。

編程語言的描述一般可以分為語法及語義。語法是說明編程語言中，哪些符號或文字的組合方式是正確的，語義則是對于編程的解釋。有些語言是用規格文件定義，例如 C 語言的規格文件也是 ISO 標準中一部分，2011 年后的版本為 ISO/IEC 9899:2017，而其他語言（例如 Ada 或者 Perl）有一份編程語言實現文件，視為參考實現。

概論

編程語言原本設計是專用于計算機，也用來定義算法或者數據結構。故而程序員試圖使程序代碼容易閱讀。

編程語言往往使程序員能夠比使用機器語言更準確地表達他們所想表達的目的。對那些從事計算機科學的人來說，懂得程序設計語言是十分重要的，因為在當今所有的計算都需要程序設計語言才能完成。

之所以有那么多種不同的編程語言存在的原因是，編寫程序的初衷其實也各不相同；新手與老手之間技術的差距非常小，而且有許多語言對新手來說太容易學；還有，不同程序之間的運行成本（runtime cost）各不相同。

有許多用于特殊用途的語言，只在特殊情況下使用。例如，PHP 專門用來顯示網頁；Perl 適合文本處理；C 語言被廣泛用于操作系統和編譯器的開發（所謂的系統編程）。

高級語言的出現使得計算機程序設計語言不再過度地依賴某種特定的機器或環境。這是因為高級語言在不同的平臺上會被編譯成不同的機器語言，而不是直接被機器執行。最早出現的編程語言 FORTRAN 的一個主要目標，就是實現平**立。

雖然大多數的語言既可被編譯又可被解譯，但大多數僅在一種情況下能夠良好運行。在一些編程系統中，程序要經過幾個階段的編譯，一般而言，后階段的編譯往往更接近機器語言。這種常用的使用技巧最早在 1960 年代末用于 BCPL，編譯程序先編譯一個叫做“0 代碼”的轉換程序（representation），然后再使用虛擬器轉換到可以運行于機器上的真實代碼。這種成功的技巧之后又用于 Pascal 和 P-code，以及 Smalltalk 和二進制碼，在很多時候，中間過渡的代碼往往是解譯，而不是編譯的。

如果所使用的翻譯的機制是將所要翻譯的程序代碼作為一個整體翻譯，并之后運行內部格式，那么這個翻譯過程就被稱為編譯。因此，一個編譯器是一個將人可閱讀的程序文本（叫做源代碼）作為輸入的數據，然后輸出可執行文件（object code）。所輸出的可執行文件可以是機器語言，由計算機的中央處理器直接運行，或者是某種模擬器的二進制代碼。

如果程序代碼是在運行時才即時翻譯，那么這種翻譯機制就被稱作直譯。經直譯的程序運行速度往往比編譯的程序慢，但往往更具靈活性，因為它們能夠與執行環境互相作用。