声明式编程

• Against 命令式编程 .
  • 告诉计算机需要计算“什么”而不是“如何”去计算的高级程序。
  • 明确的对应数理逻辑的编程语言
  • 任何没有副作用的编程语言，或者更确切一点，任何参照透明的编程语言
• 它们建造计算机程序的结构和元素，表达计算的逻辑而不用描述它的控制流程
  • 数据库查询语言（SQL，XQuery）
  • 正则表达式
  • 配置管理系统????
• Subparadigms 子编程范型