程序设计语言各种类

程序设计语言可以按照不同的标准进行分类。以下是一些主要的分类方式及类别：

1. 低级语言 ：

机器语言 ：由二进制0和1代码指令构成，不同的CPU具有不同的指令系统。机器语言程序难编写、难修改、难维护，需要用户直接对存储空间进行分配，编程效率极低。这种语言已经被渐渐淘汰了。

汇编语言 ：汇编语言指令是机器指令的符号化，与机器指令存在着直接的对应关系，所以汇编语言同样存在着难学难用、容易出错、维护困难等缺点。但是汇编语言也有自己的优点：可直接访问系统接口，汇编程序翻译成的机器语言程序的效率高。从软件工程角度来看，只有在高级语言不能满足设计要求，或不具备支持某种特定功能的技术性能时，汇编语言才被使用。

2. 高级语言 ：

过程式语言 ：这类语言的主要特征是，用户可以指明一列可顺序执行的运算，以表示相应的计算过程。常见的过程式语言有FORTRAN、COBOL、PASCAL等。

面向对象语言 ：现代语言中的大多数都提供面向对象的支持，但有些语言是直接建立在面向对象基本模型上的。主要的纯面向对象语言是Smalltalk。面向对象语言的主要特点包括数据封装、继承和多态性。

函数式语言 ：这种语言的语义基础是基于数学函数概念的值映射的λ算子可计算模型。典型的函数式语言如Lisp、Haskell、ML、Scheme等。

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

3. 其他分类方式 ：

按编程模式 ：命令式语言、函数式语言、逻辑式语言。

按应用领域 ：商用语言、科学计算、系统程序设计、模拟语言。

按使用方式 ：交互式语言和非交互式语言。

按成分性质 ：顺序语言、并发语言和分布语言。

这些分类方式并不是相互排斥的，一种程序设计语言可以同时属于多个分类。例如，C语言既是过程式语言，也是面向对象语言和编译型高级语言。

其他小伙伴的相似问题：

程序设计语言有哪七种？

程序设计语言中哪些是过程式的？

程序设计语言中哪些支持面向对象？