第四章 声明式提示与类型契约

提示工程应该是软件工程的一个分支，遵循软件工程的基本原则，同时发展出适应新范式的特有方法。

本章讲两个核心概念：Code as Prompt——用 Pydantic 模型同时充当类型定义、语义指令和输出验证器，代码本身就是 prompt；Schema as Workflow——Schema 的字段排列定义了 LLM 的推理路径，结构即工作流。

文章

• 从命令式到声明式 -- 从汇编到 C，从 jQuery 到 React，从自然语言 prompt 到类型化结构声明——每次抽象层级的提升都遵循相同的结构性规律。LLM 提示工程正处于这条规律的最新一次。
• Code as Prompt -- Pydantic 模型的三层语义（类型注解=约束层，Field description=语义层，Validator=不变量层）使代码本身成为 prompt。一处定义，三处生效。JSON Schema 是这个模型的机器可读投影，其表达力有边界，边界之外由运行时验证补全。
• Schema as Workflow -- Schema 的字段排列定义了 LLM 的推理路径。每个字段承担一个推理步骤，字段间的显式依赖声明建立推理步骤间的逻辑连接。字段级单一职责是声明式思维链的前提条件。

阅读顺序

第一篇建立历史背景：从命令式到声明式的转变是一个反复发生的规律。第二、三篇是本章的核心：Code as Prompt 和 Schema as Workflow，合起来就是声明式思维链的全貌。