作者反思“氛围编程”依赖自然语言提示，虽快却模糊易错。他回顾乔姆斯基1956年借编译器形式文法研究句法，建立形式语言层级。如今大模型按概率生成代码，缺乏精确结构。作者认为需为提示引入形式语义、上下文图和混合语言，并介绍Nuanced工具，通过静态分析生成调用图，为LLM提供精确上下文，让编程既灵活又可靠。