冒号课堂§2.2：声明范式

冒号课堂§2.2：声明范式2011-06-25 BlogJava xyz98第二课重要范式（2）

2.2 声明范式——目标决定行动

给我一个支点，我能挪动地球 ——Archimedes

关键词：编程范式,命令式,声明式,函数式,逻辑式

摘要：声明式编程简谈

？提问

什么是声明式编程？它与命令式编程有何区别？

什么是函数式和逻辑式？

变量在命令式编程和声明式编程中有何不同的涵义？

声明式语言有何优点？为什么没有命令式语言流行？

命令式语言与声明式语言有无相通之处？

编程的本质是什么？命令式、函数式和逻辑式分别采用了怎样的编程机制？

：讲解

冒号迅速转移了话题：“下面我们来谈谈与命令式编程相对的声明式编程（declarative programming）。顾名思义，声明式编程由若干规范（specification）的声明组成的，即一系列陈述句：‘已知这，求解那’，强调‘做什么’而非‘怎么做’。声明式编程是人脑思维方式的抽象，即利用数理逻辑或既定规范对已知条件进行推理或运算。”