四类范式

编程范式的分类也有很多种，除了上面的分类，还有结构化、非结构化等分类。我想最主要的分类还是按照model of computation（计算模型）来分,一般而言有四类范式：

 

 

 https://www.xuebuyuan.com/1062696.html

 

 

• 基于Turing Machine（图灵机）的Imperative Programming（命令编程范式）；

• 基于Turing Machine（图灵机）的Object-oriented Programming（面向对象的编程范式）；

• 基于λ-calculus（λ演算）的Functional Programming（函数编程范式）；

• 基于First-order logic（一阶逻辑）的Logic Programming（逻辑编程范式）。

关于编程范式的分类也十分复杂，想深究的可以留意下图：