（二）基本范式

最近在看blogjava上郑晖老师将的《冒号和他的学生们》文笔很好，但是这系列文章的题目就....写的的确很好，今天刚看到主要的编程语言范式。记录记录。

两种最基本的范式：命令式和声明式。命令式又叫过程式，通俗点说：命令式编程由命令序列组成，即一系列的祈使句组成。“先做这，在做那”强调“怎么做”。 声明式编程由一系列由相关表达式组成，即一系列陈述句。“已知这，求解那”强调“做什么”。学术点说：命令式编程是电脑运行机制的抽象，即有序的从内存中 获取指令和数据然后去执行；声明式编程类似人类的思维的抽象，即利用数学逻辑或既定规范对已知条件进行推理运算。

语言是渐进的，大多数语言都是由汇编演化而来的，做为机器语言一一对应的汇编语言当然是命令式的，所以命这种范式最为传统和普及。声明式语言发轫与人工智能的研究。主要包含函数式语言和逻辑式语言。

命令式编程是行动导向的，因此算法是显性的而目标是隐性的。声明式编程是目标驱动的，因而算法是隐性的而目标是显性的。

编程是寻求一种机制，将指定的输入变为指定的输出。三种范式对其提供了不同的解决方案：命令式把程序看做一个自动机，输入是初始状态，输出是最终状态。编 程就是设计一系列指令，通过自动机执行以完成状态转变；函数式把程序看作一个数学函数，输入是自变量，输出是因变量。编程就是设计一系列函数，通过表达式 变化以完成计算；逻辑式把程序看作逻辑证明，输入是题设，输出是结论，编程就是设计一系列命题，通过逻辑推理以完成证明。