DSL 如何让 LLM 的代码生成更靠谱

DSLs Enable Reliable Use of LLMs

现代 LLM 虽然能生成代码，但面对复杂系统设计时，单纯靠自然语言描述往往捉襟见肘。我发现，真正的关键在于引入 DSL（领域特定语言）。相比 Java 等通用语言，DSL 语法受限、概念聚焦，LLM 只需几个示例就能精准生成。更妙的是，DSL 通常自带确定性验证器，让 Agent 能自动循环生成、验证并修复错误，无需人工介入。从 PlantUML 绘图到 Kubernetes 配置，DSL 正成为连接人类意图与 LLM 能力的可靠桥梁，让设计在迭代中自然浮现。

"编写代码迫使我们思考具体的决策，比如职责归属或边界暴露，而设计正是在这些决策中完整呈现的。"