导入
命令式与声明式范式
了解编程范式及其差异。
...
示例：命令式与声明式范式对比
著名命令式范式的示例
| 范式 | 方法 | 语言 |
|---|---|---|
| 过程式 | 将系统划分为一系列子程序，每个子程序包含特定的指令、结构和变量 | BASIC、C、Pascal 和 Python |
| 面向对象 | 体现逻辑上的顺序思维，符合人类的理解方式；采用类、属性、方法和对象的模块化组织结构 | Java、Python 和 C++ |
声明式范式
| 范式 | 方法 | 语言 |
|---|---|---|
| 逻辑 | 使用形式逻辑解决问题，依赖知识库中的多个事实和规则来回答查询；适用于解决逻辑谜题和序列问题 | 回答集编程（Answer Set Programming, ASP）、Datalog 和 Prolog |
| 数据库 | 基于数据及其流动；广泛应用于数据库系统本身 | SQL |
| 函数式 | 程序由函数组合而成，这些函数是数学函数的一系列执行 | Clojure、Lisp、Perl 和 Haskell |
两种范式的比较
| 范式 | 优点 | 缺点 |
|---|---|---|
| 声明式 | 代码目标明确，无需大量抽象即可实现解决方案；不同团队在软件生命周期的不同阶段（如开发与维护）协作更轻松，因抽象层级清晰；减少数据可变性，提升程序安全性与测试覆盖率；可能使用编程时尚未知晓的方法，有利于后期维护 | 对外部人员而言有时难以理解；概念模型要求以解决方案状态为思考基础，与人类自然思维过程相悖 |
| 命令式 | 学习和实现都非常简单；概念模型对初学者非常直观；清晰表达对集合的迭代（循环）；包含变量概念，类似于数学中的变量 | 复杂问题可能极难解决，尤其当算法复杂度随规模增长（如大O表示法所示）；生产力较低，多数语言代码冗长；编辑时出错风险较高；难以实现全面测试覆盖，因为系统运行中难以控制状态，很难编写能覆盖整个软件的测试；调试困难，原因同测试困难一样 |