声明式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 负责通过测试

相关概念

来源

  • AI编程认知整理-2025年底 — AI 编程认知整理
  • 文科生-AI-Coding旅程 — 文科生 AI Coding 旅程中的"给目标不给步骤"实践

互链

链接来自概念卡正文里的双链,编译时能解到本期词条集的才成为站内链接。

反链(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日。词条由知识库编译而来, 修正要回到概念卡改,再重新编译。