程序语言，也称为编程语言，是一种 用于编写计算机程序的形式化语言。它是一种人类用来和计算机沟通的工具，通过这种语言，程序员能够向计算机发出指令，使计算机能够执行特定的任务。
程序语言可以分为几个不同的级别，包括机器语言、汇编语言和高级语言。机器语言是以二进制形式编写的，直接由计算机硬件执行；汇编语言通过助记符号代替二进制代码，更易于编写和理解；高级语言则更加抽象，更易于人类阅读和编写，例如C、Java、Python等。
程序语言的基本成分通常包括数据类型和数据结构、指令类型和指令控制、调用机制和库函数以及不成文的规定（如递进书写、变量命名等）。这些成分共同构成了程序语言的语法和语义规则，使得程序员能够准确地定义计算机所需要使用的数据，并精确地定义在不同情况下所应当采取的行动。
通过学习程序语言，人们可以获得一种与计算机交流的能力，从而能够利用计算机解决各种问题。因此，程序语言是计算机科学和软件开发的基础，对于理解和应用计算机技术至关重要。