程序设计语言 属于计算机编程语言的一种。它是一种形式化语言，用于描述计算机程序，包括一套用于编写计算机程序的规则和符号集合。通过这些规则和符号，程序员可以编写出能够被计算机执行的指令。程序设计语言可以用来实现不同的算法和功能，使计算机能够完成各种任务。
具体来说，程序设计语言可以分为不同的类型，如机器语言、汇编语言和高级语言。高级语言是接近人类习惯使用的自然语言和数学语言的计算机程序设计语言，它独立于计算机，用户可以不了解机器指令，也可以不必了解机器的内部结构和工作原理，就能用高级语言编程序。
此外，程序设计语言通常包括语法、语义和语用三个方面的因素。语法表示程序的结构或形式，即表示构成语言的各个记号之间的组合规律，但不涉及这些记号的特定含义，也不涉及使用者。语义表示程序的含义，即表示按照各种方法所表示的各个记号的特定含义，但不涉及使用者。语用则涉及使用者在实际使用语言时的语境和意图。
综上所述，程序设计语言是一种用于编写、描述和实现计算机程序的编程语言，它是人与计算机之间进行交流的工具，也是软件开发的基本工具。