把规格写成状态机:用 reducer 图谱逐步审问 AI 编码智能体

DavidKPiano · x · 2026-10-13

开发者 ohdearlordylord 提出替代传统 .md 规格文档的做法:把系统建模为状态机(或 reducer),让 AI 生成一张包含真实事件流和真实 reducer 的交互式图表,然后逐步单步执行,逐个追问智能体「为什么这样设计」。David Piano(DavidKPiano,statecharts 领域知名开发者)转发表示赞同,并透露自己正在构建工具让这个流程更好用。这一方法把模糊的规格说明变成可交互、可验证的状态流转,便于发现 agent 设计中的隐含决策。