''' 编程语言 ''' （ [[ 英语 ]] ：programming language），是用来定义 [[ 计算机 ]] 程序的形式 [[ 语言 ]] 。它是一种被标准化的交流技巧，用来向计算机发出指令<ref>[http://www.ccutu.com/245117.html 编程语言有哪些 应该如何挑选]，有途网 ， 2019-7-27</ref>。一种能够让程序员准确地定义计算机所需要使用 [[ 数据 ]] 的计算机语言，并精确地定义在不同情况下所应当采取的行动。

最早的编程语言是在电脑发明之前产生的，当时是用来控制 [[ 提花织布机 ]] 及自动演奏 [[ 钢琴 ]] 的动作。在电脑领域已发明了上千不同的编程语言，而且每年仍有新的编程语言诞生。很多编程语言需要用指令方式说明计算的程序，而有些编程语言则属于宣告式编程，说明需要的结果，而不说明如何计算。

编程语言的描述一般可以分为 [[ 语法 ]] 及语义。语法是说明编程语言中，哪些符号或文字的组合方式是正确的，语义则是对于编程的解释。有些语言是用规格文件定义，例 如C 如[[C 语言 ]] 的规格文件也是ISO标准中一部分，2011年后的版本为ISO/IEC 9899:2017，而其他55语言（像Perl）有一份主要的编程语言实现文件，视为是参考实现。

编程语言原本是被设计成专门使用在计算机上的，但它们也可以用来定义算法或者 [[ 数据 ]] 结构。正是因为如此，程序员才会试图使程序代码更容易阅读。

编程语言往往使程序员能够比使用机器语言更准确地表达他们所想表达的目的。对那些从事 [[ 计算机科学 ]] 的人来说，懂得程序设计语言是十分重要的，因为在当今所有的计算都需要程序设计语言才能完成。

目前发明了许多的编程语言，编程语言本身可能修改以符合新需求，或是和其他的编程语言结合使用，尽管人们多次试图创造可以符合所有需求的通用编程语言，但以“符合所有需求”的标准来看，这些尝试都失败了。之所以有那么多种不同的编程语言存在的原因是，编写程序的初衷其实也各不相同；新手与老手之间 [[ 技术 ]] 的差距非常小，而且有许多语言对新手来说太容易学；还有，不同程序之间的运行成本（runtime cost）各不相同。

高级语言的出现使得计算机程序设计语言不再过度地依赖某种特定的机器或 [[ 环境 ]] 。这是因为高级语言在不同的平台上会被编译成不同的机器语言，而不是直接被机器执行。最早出现的编程语言FORTRAN的一个主要目标，就是实现平台独立。

虽然大多数的语言既可被编译又可被解译，但大多数仅在一种情况下能够良好运行。在一些编程系统中，程序要经过几个阶段的编译，一般而言，后阶段的编译往往更接近机器语言。这种常用的使用技巧最早在1960年代末用于BCPL，编译程序先编译一个叫做“0代码”的转换程序（representation），然后再使用 [[ 虚拟器 ]] 转换到可以运行于机器上的真实代码。这种成功的技巧之后又用于Pascal和P-code，以及Smalltalk和二进制码，在很多时候，中间过渡的代码往往是解译，而不是编译的。

如果所使用的翻译的机制是将所要翻译的程序代码作为一个整体翻译，并之后运行内部格式，那么这个翻译过程就被称为编译。因此，一个编译器是一个将人可阅读的程序文本（叫做源代码）作为输入的数据，然后输出可执行文件（object code）。所输出的可执行文件可以是机器语言，由计算机的中央处理器直接运行，或者是某种 [[ 模拟器 ]] 的二进制代码。

1940年代当计算机刚刚问世的时候，程序员必须手动控制计算机。当时的计算机十分昂贵，唯一想到利用程序设计语言来解决问题的人是 [[ 德国 ]][[ 工程师 ]] 康拉德·楚泽<ref>[https://www.doc88.com/p-7572416758017.html 计算机语言发展的历史、现状和未来]，道客巴巴，2015-4-4</ref>。

几十年后，计算机的价格大幅度下跌，而计算机程序也越来越复杂。也就是说，开发时间已经远比运行 [[ 时间 ]] 宝贵。

于是，新的集成、可视的开发环境越来越流行。它们减少了所付出的时间、金钱（以及 [[ 脑细胞 ]] ）。只要轻敲几个键，一整段代码就可以使用了。这也得益于可以重用的程序代码库。