Declarative Programming

释义 Definition

声明式编程：一种编程范式，侧重描述“要得到什么结果（what）”，而不是详细规定“如何一步步实现（how）”。常见于 SQL、正则表达式、HTML/CSS、Prolog、函数式编程中的部分风格。另有相关对比概念：命令式编程（imperative programming）。

发音 Pronunciation (IPA)

/dklrtv prorm/

例句 Examples

Declarative programming lets you describe the result you want.
声明式编程让你描述你想要的结果。

In SQL, you declaratively specify which data to retrieve, while the database decides how to execute the query efficiently.
在 SQL 中，你用声明式方式指定要取“哪些”数据，而数据库会决定“如何”高效执行查询。

词源 Etymology

declarative 来自拉丁语词根 declarare（“讲清楚、声明”），经由法语进入英语，含义与“陈述、宣告”相关；programming 来自 program（“计划、程序”）。合起来强调：用“声明/陈述”的方式表达需求与约束，让系统去推导或安排执行步骤。

相关词 Related Words

• Declarative
• Imperative
• Functional
• Procedural
• Logic
• Query
• Constraint
• Idempotent
• SQL
• Prolog

文学与著作 Literary Works

• Structure and Interpretation of Computer Programs（SICP）在讨论抽象与描述“是什么”时，常用“声明式/命令式”的对照来帮助理解编程风格。
• Concepts, Techniques, and Models of Computer Programming（Van Roy & Haridi）系统性介绍多种编程范式，其中包含声明式（尤其是逻辑与约束）思路。
• The Art of Prolog（Sterling & Shapiro）以 Prolog 为代表展示声明式（逻辑）编程如何通过“事实与规则”表达问题。
• Database System Concepts（Silberschatz 等）在数据库章节中讨论 SQL 的声明式查询特性及其执行由优化器决定。