程序设计语言是人们根据实际问题的需要而设计的。目前可以分为三大类：一是机器语言。它是用计算机的机器指令表达的语言；二是汇编语言。它是用一些能反映指令功能的助记符表达的语言；三是高级语言。它是独立于机器、接近于人们使用习惯的语言。
在计算机科学发展的早期阶段，一般只能用机器指令来编写程序，这就是机器语言。由于机器语言直接用机器指令编写程序，无论是指令还是数据，都须得用二进制数码表示，给程序编制者带来了很多麻烦，需要耗费大量的时间和精力。为了解决这个问题，使程序既能简便地编制，又易于修改和维护，于是出现了程序设计语言。程序设计语言一般分为低级语言和高级语言。低级语言较接近机器语言，它是用由英文字母的助记符代替指令编码，用英文字母和阿拉伯数字组成的十六进制数代替二进制数，从而避免了过去用来表示指令、地址和数据的令人烦恼的二进制数码问题。典型的低级语言是汇编语言。正因为汇编语言是低级语言，所以它对机器依赖性较大。不同的机器有不同的指令系统，所以，不同的机器都有不同的汇编语言。
高级语言则是独立于指令系统而存在的程序设计语言，它比较接近人类的自然语言。用高级语言编写程序，可大大缩短程序编写的周期。高级语言比汇编语言和机器语言简便、直观、易学，且便于修改和推广。
目前，世界上已有许多各种各样的程序设计语言。由于计算机本身只认识它自己的机器指令，所以对每个程序设计语言都要编制编译程序或解释程序。编译程序、解释程序是人和计算机之间的翻译，它负责把程序员用高级语言编写的程序翻译成机器指令。这样，计算机才能认识这程序，这程序才可以上机运行。
由于不同的程序设计语言有不同应用范围，至今还没有一种程序设计语言能把所有应用包含在内。现在广为应用的几种语言中，FORTRAN侧重科学计算，BASIC善于人机对话，PASCAL着重结构设计，COBOL长于报表处理。
人们交流思想、传递信息要使用语言这个工具。我们要让计算机为我们工作，也必须同计算机交流信息，同样有个语言工具问题。学习使用电子计算机，主要的就是学习电子计算机的语言。