编程语言，也称为程序设计语言或计算机语言，是一种 用于编写计算机程序的形式化语言。它由一组指令和规则组成，用于定义计算机程序的结构和行为。编程语言是程序员与计算机之间进行交流的工具，通过编程语言，程序员可以向计算机传达指令，告诉计算机要执行的操作。
编程语言可以分为不同的类型，包括低级语言和高级语言。低级语言，如汇编语言，通常与计算机硬件直接交互，提供了对计算机底层操作的细粒度控制，但编写和阅读起来相对困难。高级语言则更加接近人类语言，更容易理解和编写，例如Python、Java和C++等。
编程语言可以分为机器语言、汇编语言和高级语言三大类。机器语言是计算机能够直接识别和执行的二进制代码；汇编语言是一种低级语言，用助记符代替机器指令，相对容易编写和理解；高级语言则更接近人类语言，通常包含更多的抽象概念，如变量、函数和类等。
通过编程语言，程序员可以编写代码来实现特定的功能和逻辑，包括处理数据、算法设计、图形界面创建等。编程语言使得计算机能够准确地定义所需使用的数据，并精确地定义在不同情况下所应当采取的行动。