第八章终章：软件工程的下一个形态

软件工程从未停止演化。LLM 带来的是又一次范式转换。这一章跳过具体技术，直接展望未来。

文章

范式转换的历史节奏 -- 从结构化编程到面向对象，从瀑布到敏捷，从单体到微服务。每次范式转换都改变了人们对"好软件"的理解。LLM 带来了下一次转换。当前正处于抵抗期，而历史规律揭示了什么将被重新定义、什么不会改变。
规格说明的回归 -- 形式化规格说明在四十年前因翻译成本过高而被工业界放弃。LLM 正在大幅压缩这个翻译成本，使得软件开发从"编写实现"转向"编写规格说明"成为经济上可行的选择。从 CLAUDE.md 到 Pydantic 模型到 JSON Schema，一条形式化程度递增的规格语言路径已经浮现。
软件工程师的下一个身份 -- 分析能力结构的重新定价。翻译性技能在贬值，架构判断力、约束建模能力、质量判断力、数学思维在升值。软件工程的核心活动正在从"将意图翻译为实现"转向"精确地表达意图本身"。
时光机验证 -- 2026 年行业将"围绕 AI agent 构建确定性基础设施"命名为 harness engineering。回溯检验：本书的公理集能否独立推导出这些实践？哪些能，哪些不能，差距说明了什么。

终章回到第一章的哲学层面。第一章确立了"LLM 是概率性的"这个认识论事实；终章回答"这个事实对软件工程的未来意味着什么"。第四章讨论的类型系统、第三章讨论的文档驱动开发，到终章汇成一个更大的叙事：规格说明的回归。