声明式AI编程(Declarative AI Programming)
AI 时代的编程范式转变:从'告诉 AI 怎么做(命令式)'转向'告诉 AI 做到什么程度算成功(声明式)'。给目标,不给步骤。
生产方式:人写签发:晓黎学习复核:2026年7月7日被 2 个词条引用
一句话定义
声明式 AI 编程 = 定义成功标准和验收条件,让 AI 自主寻找实现路径。与传统的"写每一步逻辑"完全不同。
命令式 vs 声明式
| 命令式(传统编程) | 声明式(AI 编程) |
|---|---|
| 告诉我怎么做 | 告诉我做到什么程度算成功 |
| 写实现逻辑 | 写 spec + 测试 |
| 人设计方案 | AI 设计方案,人审查 |
| 人写代码 | AI 写代码,人 review |
为什么更适合 AI
AI 特别擅长:围绕成功标准反复迭代,写测试 → 跑测试 → 修到通过。
AI 的耐力优势(永不疲惫、持续尝试)天然匹配声明式范式:
- 人类会中途放弃的问题,AI 可以硬磨 30 分钟直到成功
- 声明式给 AI 最大的探索空间
实践方法
Spec-first 工作流
1. 写 spec(验收标准、边界条件)
2. 写测试(单元测试、端到端测试)
3. 让 AI 实现 → 跑测试 → 修到通过
4. 人做最终 review
好的声明式 Prompt
❌ 命令式:用 React 写一个带分页的列表,使用 useState 管理页码...
✅ 声明式:我需要一个分页列表组件。验收标准:
1. 每页显示 20 条数据
2. 支持前后翻页和跳转到指定页
3. 正确处理第一页、最后一页、空列表的边界情况
4. 所有测试通过
与 TDD 的关系
声明式 AI 编程天然匹配 TDD(测试驱动开发):
- 测试就是"成功标准"的可执行形式
- AI 的循环:写代码 → 跑测试 → 看失败 → 修代码 → 重新测试
- 人只需要定义测试,AI 负责通过测试
相关概念
- Eval Harness(评估框架) — 声明式编程的"成功标准"需要 eval 来验证
- Agent Orchestration(Agent调度带宽) — 多个 AI 各自声明式执行不同子任务
- 认知债务(Cognitive Debt) — 声明式编程省去了实现细节思考,也带来了理解能力的退化风险
- Harness Engineering(代理治理工程) — Harness 为声明式 AI 编程提供安全边界
来源
- AI编程认知整理-2025年底 — AI 编程认知整理
- 文科生-AI-Coding旅程 — 文科生 AI Coding 旅程中的"给目标不给步骤"实践
互链
链接来自概念卡正文里的双链,编译时能解到本期词条集的才成为站内链接。
- 认知债务(Cognitive Debt)相关概念
- Agent Orchestration(Agent调度带宽)相关概念
- Eval Harness(评估框架)相关概念
- Harness Engineering(代理治理工程)相关概念
反链(2)
出现在哪些课时里(0)
判据与「课时正文里能不能点出来」是同一个:那一节确实提到了它。点课时走当前页跳转, 它是导航,不是词条链接。
还没有课时讲到这一条。它是词条跑在课程前面的那一部分,不是错链。
关联图
只画这一条与它直接相连的词条,边与上面两区同源。可拖拽、可缩放,点节点是新标签。
出处
路径是本地知识库(Obsidian 库)里的位置,正文与概念卡逐字对应。
- 概念卡原文声明式AI编程(Declarative AI Programming)
03_RESOURCES/概念/declarative-ai-programming.md - 所属知识地图栏目概念页索引 · 知识库与方法论
03_RESOURCES/概念/Index.md - 正文引用的知识库笔记AI编程认知整理-2025年底
03_RESOURCES/摘录/ai-coding-cognition-2025.md - 正文引用的知识库笔记文科生-AI-Coding旅程
03_RESOURCES/摘录/libarts-ai-coding-journey-2026.md
编译入库:2026年11月2日。词条由知识库编译而来, 修正要回到概念卡改,再重新编译。