我们知道，要使计算机按人的意图运行，就必须使计算机懂得人的意图，接受人的命令。人要和机器交换信息，就必须要解决一个语言问题。为此，人们给计算机设计了一种特殊语言，这就是程序设计语言。程序设计语言是一种形式语言。语言和基本单位是语句，而语句又是由确定的字符串和一些用来组织它们成为有确定意义的组合规则所组成。
程序设计语言是人们根据实际问题的需要而设计的。目前可以分为三大类：一是机器语言。它是用计算机的机器指令表达的语言；二是汇编语言。它是用一些能反映指令功能的助记符表达的语言；三是高级语言。它是独立于机器、接近于人们使用习惯的语言。
在计算机科学发展的早期阶段，一般只能用机器指令来编写程序，这就是机器语言。由于机器语言直接用机器指令编写程序，无论是指令还是数据，都须得用二进制数码表示，给程序编制者带来了很多麻烦，需要耗费大量的时间和精力。为了解决这个问题，使程序既能简便地编制，又易于修改和维护，于是出现了程序设计语言。程序设计语言一般分为低级语言和高级语言。低级语言较接近机器语言，它是用由英文字母的助记符代替指令编码，用英文字母和阿拉伯数字组成的十六进制数代替二进制数，从而避免了过去用来表示指令、地址和数据的令人烦恼的二进制数码问题。典型的低级语言是汇编语言。正因为汇编语言是低级语言，所以它对机器依赖性较大。不同的机器有不同的指令系统，所以，不同的机器都有不同的汇编语言。
高级语言则是独立于指令系统而存在的程序设计语言，它比较接近人类的自然语言。用高级语言编写程序，可大大缩短程序编写的周期。高级语言比汇编语言和机器语言简便、直观、易学，且便于修改和推广。
目前，世界上已有许多各种各样的程序设计语言。由于计算机本身只认识它自己的机器指令，所以对每个程序设计语言都要编制编译程序或解释程序。编译程序、解释程序是人和计算机之间的翻译，它负责把程序员用高级语言编写的程序翻译成机器指令。这样，计算机才能认识这程序，这程序才可以上机运行。
由于不同的程序设计语言有不同应用范围，至今还没有一种程序设计语言能把所有应用包含在内。现在广为应用的几种语言中，FORTRAN侧重科学计算，BASIC善于人机对话，PASCAL着重结构设计，COBOL长于报表处理。
人们交流思想、传递信息要使用语言这个工具。我们要让计算机为我们工作，也必须同计算机交流信息，同样有个语言工具问题。学习使用电子计算机，主要的就是学习电子计算机的语言。
电子计算机语言分三类：
①机器语言：它是用二进制数0、1的不同排列来传递信息，是目前的电子计算机惟一能直接接受的语言。这种语言程序难编、难读、难记、难改，但却能充分发挥机器的作用。
②符号语言：它是以符号化的码子代替二进制码。
符号语言比机器语言容易记忆，但仍难编、难读。对于初学者和一般使用计算机的人，可以不必学习机器语言和符号语言。
③高级语言：这种语言比较接近人们的自然语言和数学语言，比较直观、易编、易读，而且通用性强。
高级语言的出现(五十年代末)，极大地促进了计算机的发展和普及，有人说这是“惊人的成就”。
电子计算机并不能直接识别高级语言，而是必须将高级语言“解释”成机器语言才能接受，所以使用高级语言会使计算机的运行速度降低几倍甚至十几倍。但这是我们有时不得不付出的代价。
目前国内外的高级语言种类很多，它们的特点和适用范围各不相同。适合青少年学习的高级语言有BASIC和LOGO。