编程语言是一种计算机和人都能识别的语言,用于人与计算机之间的通信。它是程序设计的最重要的工具,让程序员能够准确地定义计算机所需要使用的数据,并精确地定义在不同情况下所应当采取的行动。
具体来说,编程语言是用来定义计算机指令执行流程的形式化语言,每种编程语言都包含一整套词汇和语法规范。这些规范通常包括数据类型和数据结构、指令类型和指令控制、调用机制和库函数以及不成文的规定(如递进书写、变量命名等)。大多数编程语言都能够组合出复杂的数据结构(如链表、堆栈、树、文件等)。面向对象的编程语言还允许程序员定义新的数据结构(如“对象”)。
此外,编程语言的描述通常分为语法(形式)和语义(含义)两个部分。已经创建了成千上万种不同的编程语言,并且每年都在创建更多的编程语言。许多编程语言是以命令式形式编写的,而其他语言则使用声明式形式编写。