Claude Is Not a Compiler

这篇文章拆解“规格就是新源码、LLM 就是编译器”的比喻：编译器有形式语义、确定转换和可重复构建，模型则会对未说明部分自行补全，并可能在相同输入下输出不同程序。把提示词当可执行规格会掩盖验证责任，因为测试通过只证明覆盖到的行为，而非意图被完整保留。更稳妥的做法是把代理放进编译器、类型系统、测试和 review 组成的约束链，而不是让概率模型替代这些确定性环节。