下载掌阅APP，畅读海量书库
立即打开
按照程序设计范型的分类，程序设计语言基本上可以分为命令式程序设计语言、函数式程序设计语言、面向对象程序设计语言和逻辑程序设计语言。
命令式程序设计语言是基于动作的语言，计算在这里被看做是一个动作的序列。这些动作能够改变变量的值，最典型的动作就是赋值。命令式程序设计语言的代表有：Fortran，Pascal和C语言等。
函数式程序设计语言的代表有Lisp、ML等。
面向对象程序设计语言中最核心的东西是对象和类的概念。面向对象的三个核心概念是封装、继承和多态。面向对象程序设计语言的代表有C++、SmallTalk、Java等。
逻辑程序设计语言的代表有Prolog。
C++是目前最流行的程序设计语言之一，其特点是既支持面向对象程序设计的概念，也支持原来在C语言中的过程式程序设计，因此，也有人称其为混合式的面向对象语言。C++支持的面向对象概念包括类、继承、多态、模板、多重继承等。C++在增加了这些面向对象的概念支持后，生成的目标程序与C语言生成的相同功能的目标程序的效率相差不超过10%，是一种极其高效的语言。由于这些特点，以及其在各种计算机系统中被广泛支持，C++语言大量应用于系统程序的设计，包括嵌入式、桌面式和服务器操作系统的设计，大型软件系统的核心模块的设计，以及各类桌面软件的设计。
Java是一个纯面向对象的程序设计语言。Java与C++不同，不允许有独立于类存在的过程，所有的概念都必须使用类表达。Java为了提高代码质量和安全性，去掉了C++中的指针概念，而完全使用引用的概念。另外，为了提高程序可靠性，Java提供了内存收集机制，动态内存的管理完全由系统接管。Java的一个最大的特点是一种半解释语言。编译程序首先把原程序编译为中间代码，然后通过不同平台上的Java虚拟机（Java VM）解释执行这些中间代码。较新的方式是不同平台上的Java虚拟机把这些中间代码编译为本级代码（Native Code）再执行，以提高执行速度。因此，Java语言提供了强大的跨平台能力，尤其适用于互联网上的信息系统的开发。
Lisp是表处理（List Processing）的截头缩写词，它是函数式程序设计语言。在Lisp中，所有的操作均通过表操作进行，变量的赋值也是通过表操作的副作用进行的。Lisp的初始设计是为了做符号处理。它被用于各种符号演算：微分和积分演算，电子电路理论，数理逻辑，游戏推演，以及人工智能的其他领域。
Prolog程序是以特殊的逻辑推理形式回答用户的查询。Prolog程序具有逻辑的简洁性和表达能力。实际应用上多用于数据库和专家系统。