编程语言（英语：programming language），是用来定义计算机程序的形式语言。它是一种被标准化的交流技巧，用来向计算机发出指令。一种能够让程序员准确地定义计算机所需要使用数据的计算机语言，并精确地定义在不同情况下所应当采取的行动。
最早的编程语言是在电脑发明之前产生的，当时是用来控制提花织布机及自动演奏钢琴的动作。在电脑领域已发明了上千不同的编程语言，而且每年仍有新的编程语言诞生。很多编程语言需要用指令方式说明计算的程序，而有些编程语言则属于宣告式编程，说明需要的结果，而不说明如何计算。
编程语言已超过上千种，大部分用在计算领域。编程语言和人类使用的自然语言在精确度和完整性上有很大的差异。
根据TIOBE指数在截止2021年4月，五十大最受欢迎的语言如下：
2021年04月编程语言排行榜
近18年最受欢迎的编程语言如下：
2003年-2021年最受欢迎的编程语言
如何衡量各编程语言的使用量：
很难去比较哪一种编程语言的使用量最大，而且“使用量”一词也很难定义。某一种编程语言可能需要较多的时间进行开发，另一种编程语言可能产生的代码较长，第三种编程语言可能在CPU中运行的时间较长。有些语言在特定的领域十分受欢迎，例如COBOL在公司的数据中心仍相当常用，多半是在大型计算机上运行，Fortran常用在科学及工程应用，C语言常用在嵌入式设备应用及操作系统，Perl常用于系统管理和文本处理, JavaScript用于网页等。
有许多不同的测量编程语言使用的程度的方法，不同的测量方式各有误差：
计算招聘广告中提到各编程语言的次数。
计算教授或描述各编程语言书籍卖出的数量。
占计各编程语言目前仍在使用代码的长度，不过可能会低估一些公开搜索不容易找到的编程语言。
利用搜索引擎计算找到不同编程语言的次数。