编程范式

冯·诺伊曼体系，数据流机，规约机

命令式编程，结构化编程

过程式编程是引入了过程，函数或子程序的编程的命令式编程。

结构化编程是在过程式编程的基础上发展起来的，其本质是一种编程原则，提倡代码应具有清晰的逻辑结构，使得代码易于读写，测试，维护和优化。在上世纪60年代爆发的软件危机中起着中流砥柱的作用，就像后来的oop一样。pascal正是为了结构化编程而设计的一种教学语言，曾经也风光无限。

结构化定理：

任何程序都可以用顺序，选择和循环三种基本控制结构来表示。

结构化编程就是在三种基本结构的基础上进行嵌套组合。

如果将每个基本结构看作基本电路元件，编程就是将这些元件组成复杂电路。请注意，所有的元件都满足单入口，单出口的原则，这使得电路井井有条，不会串线缠绕。

命令式编程，过程式编程，结构化编程

声明式，函数式，数据流式，约束式，逻辑式。