程序设计语言分为几类类型（程序设计语言分为几类）

编程语言分为几类。

1、命令式语言

这种语言的语义基础是模拟数据存储/数据操作，非常符合现代计算机架构的自然实现。生成操作的主要方式是依靠语句或命令的副作用。大多数流行的语言都是这种类型，如Fortran、Pascal、Cobol、C、C、Basic、Ada、Java、C#等。各种脚本语言也算是这种类型。

2、功能语言

这种语言的语义基础是基于数学函数概念的值映射的算子可计算模型。这种语言非常适合人工智能的计算。典型的函数式语言如Lisp、Haskell、ML、Scheme、F#等。

3、逻辑语言

这种语言的语义基础是基于一组已知规则的形式逻辑系统。这种语言主要用于专家系统的实现。最著名的逻辑语言是Prolog。

4、面向对象语言

大多数现代语言都提供了面向对象的支持，但有些语言直接基于基本的面向对象模型，一种语言的语法形式的语义就是基本的对象操作。主要的纯面向对象语言是Smalltalk。

虽然各种语言属于不同的类型，但它们都在不同程度上支持其他类型的操作模式。