计算机高级语言可以分为两种主要类型：命令式语言和声明式语言。
命令式语言，也称为过程性语言，是基于动作的语言。这种类型的语言强调的是程序的行为，即如何改变系统的状态。在命令式语言中，程序员需要明确指出每一步的执行顺序。例如，C、C++和Python就是常用的命令式语言。
声明式语言，也称为描述性语言，是基于规则的语言。这种类型的语言更注重描述程序应该做什么，而不是如何做。在声明式语言中，程序员只需要说明程序的目标或结果，而不必指定实现细节。例如，SQL和Haskell就是常用的声明式语言。
高级语言主要分为面向对象和面向过程两类。
