程序设计语言可以分为四类：
1. **命令式语言**：这种语言的语义基础是模拟“数据存储/数据操作”的图灵机可计算模型，十分符合现代计算机体系结构的自然实现方式，现代流行的大多数语言都是这一类型，比如Fortran、Pascal、C++obol、C、C++、Basic、Ada、Java、C#等，各种脚本语言也被看作是此种类型。
2. **函数式语言**：这种语言的语义基础是基于数学函数概念的值映射的λ算子可计算模型，典型的函数式语言如Lisp、Haskell、ML、Scheme、F#等。
3. **逻辑式语言**：这种语言的语义基础是基于一组已知规则的形式逻辑系统，最著名的逻辑式语言是Prolog。
4. **面向对象语言**：现代语言中的大多数都提供面向对象的支持，但有些语言是直接建立在面向对象基本模型上的，语言的语法形式的语义就是基本对象操作。
这四类语言各有特点，适用于不同的编程场景和需求。
