程序设计语言范型

自1956年FORTRAN语言面世以来，几十年来出现了各种各样的高级语言。
从支持的计算模式来看有如下程序设计语言范型

强制（命令）式语言（imperative language）

也称过程式语言。这种语言是面向动作的，即一个计算过程看作一系列动作。
动作是命令驱动，以语句形式表示。

函数式语言（functional language）

也称为应用式语言。代表语言ML和LISP

基于规则（逻辑）的语言

这类语言的语法形式通常为
条件1->动作1
条件2->动作2
程序的执行过程：检查一定的使能条件，当它满足时，则执行适当的动作。

面向对象语言

主要特点是提供抽象数据类型，支持封装继承多态