天工开悟之 编程范式

目前的编程范式来划分主要划分为
1 命令式编程
2 声明式编程

其中命令式的语言用的比较多，比如大家熟悉的Java语言 和 常见的一些语言都是命令式语言，这种编程语言都是大家常常用到的。声明式的语言 也有很多，但都多数集中专业领域，当然也有大家常常见到的，比如 css xml 这类的都是声明式语言，声明式语言在处理逻辑计算，人工智能，机器学习领域 都有很大的优点。核心擅长于，数理逻辑 和针对已知条件进行推理和运算。

声明式编程的划分

声明式语言其中划分为 函数式编程和逻辑式编程。其中函数式对应的是数学上的 表达式变换和计算，逻辑式编程对应的是 数理逻辑推理。当然，声明式编程并不仅仅是上面提到 函数式和 逻辑式，还有 属性导向 数据流式 约束式 等各种类型。

声明式编程语言和命令式编程语言的的共同点

1 最终转成 机器语言
2 声明式 和命令式都是融合的 ，二者相互渗透。主体上 并非纯粹

总结一下

1 函数式 主要是数学证明 ，采用 自变量为输入，因变量为输出，以设计函数为 作为程序设计的主要载体，程序运行主要为 表达式变换为主。其实就是数学代数的计算为主。
2 命令式 主要是自动机，采用初始状态为输入，最终状态为输出，以设计指令 作为程序的主要载体，程序运行主要为 命令执行为主。其实本质上就是一系列的命令执行。
3 逻辑式 主要是逻辑证明，主要以 题设为输入，结论为输出，程序设计为设计命题为主，以逻辑推理为程序运行的表现方式。