編程語言（英語：programming language），是用來定義計算機程序的形式語言。它是壹種被標準化的交流技巧，用來向計算機發出指令。壹種能夠讓程序員準確地定義計算機所需要使用數據的計算機語言，並精確地定義在不同情況下所應當采取的行動。
最早的編程語言是在電腦發明之前產生的，當時是用來控制提花織布機及自動演奏鋼琴的動作。在電腦領域已發明了上千不同的編程語言，而且每年仍有新的編程語言誕生。很多編程語言需要用指令方式說明計算的程序，而有些編程語言則屬於宣告式編程，說明需要的結果，而不說明如何計算。
編程語言已超過上千種，大部分用在計算領域。編程語言和人類使用的自然語言在精確度和完整性上有很大的差異。
根據TIOBE指數在截止2021年4月，五十大最受歡迎的語言如下：
2021年04月編程語言排行榜
近18年最受歡迎的編程語言如下：
2003年-2021年最受歡迎的編程語言
如何衡量各編程語言的使用量：
很難去比較哪壹種編程語言的使用量最大，而且“使用量”壹詞也很難定義。某壹種編程語言可能需要較多的時間進行開發，另壹種編程語言可能產生的代碼較長，第三種編程語言可能在CPU中運行的時間較長。有些語言在特定的領域十分受歡迎，例如COBOL在公司的數據中心仍相當常用，多半是在大型計算機上運行，Fortran常用在科學及工程應用，C語言常用在嵌入式設備應用及操作系統，Perl常用於系統管理和文本處理,?JavaScript用於網頁等。
有許多不同的測量編程語言使用的程度的方法，不同的測量方式各有誤差：
計算招聘廣告中提到各編程語言的次數。
計算教授或描述各編程語言書籍賣出的數量。
占計各編程語言目前仍在使用代碼的長度，不過可能會低估壹些公開搜索不容易找到的編程語言。
利用搜索引擎計算找到不同編程語言的次數。