高级程序设计语言有哪几种
高级程序设计语言主要有四种：1.命令式语言；2.应用式语言；3.逻辑式语言；4.面向对象语言。命令式语言的特点就是命令驱动，面向语言，属于强制式语言，具代表性的命令式语言是Fortran、C、Pascal和Ada。
1.命令式语言
这种语言的语义基础是模拟“数据存储/数据操作”的图灵机可计算模型，十分符合现代计算机体系结构的自然实现方式。其中产生操作的主要途径是依赖语句或命令产生的副作用。现代流行的大多数语言都是这一类型，比如Fortran、Pascal、Cobol、C、Basic、Ada、C# 等，各种脚本语言也被看作是此种类型。
2.应用式语言
应用式语言注重程序所表示的功能，而不是一个语句接一个语句地执行。这种语言的语义基础是基于数学函数概念的值映射的λ算子可计算模型，它非常适合于进行人工智能等工作的计算。典型的应用式语言有：Lisp、Haskell、ML、Scheme 、F#等。
3.逻辑式语言
逻辑式语言是指基于规则的语言，即检查一定的条件，当它满足值，则执行适当的动作。也就是说，逻辑式语言的语义基础是基于一组已知规则的形式逻辑系统。这种语言主要用在专家系统的实现中，非常知名的逻辑式语言是Prolog。
4.面向对象语言
现代语言中的大多数都提供面向对象的支持，但有些语言是直接建立在面向对象基本模型上的，语言的语法形式的语义就是基本对象操作。虽然，C++和Java也属于面向对象语言，但主要的纯面向对象语言是Smalltalk。
延伸阅读
高级程序设计语言的特点
高级程序设计语言的特点是数据结构丰富。高级语言符合人的思维，可读性很强，提供了丰富的数据结构和控制结构，提高了问题的表达能力，降低了程序的复杂性，具有良好的可移植性。
高级语言与计算机的硬件结构及指令系统无关，它有更强的表达能力，可方便地表示数据的运算和程序的控制结构，能更好的描述各种算法，而且容易学习掌握。但高级语言编译生成的程序代码一般比用汇编程序语言设计的程序代码要长，执行的速度也慢。所以汇编语言适合编写一些对速度和代码长度要求高的程序和直接控制硬件的程序。高级语言、汇编语言和机器语言都是用于编写计算机程序的语言。
高级语言程序“看不见”机器的硬件结构，不能用于编写直接访问机器硬件资源的系统软件或设备控制软件。为此，一些高级语言提供了与汇编语言之间的调用接口。用汇编语言编写的程序，可作为高级语言的一个外部过程或函数，利用堆栈来传递参数或参数的地址。
