说明式语言（Declarative）
关注的是计算机做什么。
又分为：
1）函数式
LISP/Scheme
ML
Haskell
Sisal
2）数据流
Id
Val
3）逻辑式（基于约束的）
Prolog
VisiCalc
Excel
Lotus 1-2-3
4）基于模板的
XSLT
命令式语言（Imperative）
关注的是计算机应该如何去做。子类别有：
1）冯.诺伊曼式
C
Ada
Fortran
2）脚本式
Perl
PHP
Python
JavaScript
Ruby
Tcl
Awk
csh
bash
3）面向对象式
Smalltalk
Eiffel
C++
Java