Fowler：DSL并未死亡，它们是使LLM可用的关键

简单来说

马丁·福勒于2026年7月15日发表的论文观点很简单：大型语言模型（LLM）生成的代码是非确定性的，有时还会出错。通用语言能够容忍这种偏差并传播它。而特定领域语言（DSL）则限制了可能的输出空间，使验证变得微不足道，并允许LLM生成代码而无需逐行检查。

为什么这很重要

两种趋势交织在一起：

1. LLM在受限词汇表（语法、JSON模式、EBNF）上生成内容的能力已经足够好，且语法错误率非常低。
2. 2023年后的软件工程社区在很大程度上放弃了DSL，认为其设计和维护成本过高。

形势已经改变。DSL的设计成本仍然相同，但收益却大幅增加——因为一个设计良好的DSL将“让LLM编写代码”转变为“让LLM填写结构化表单”。可靠性的差异达到了一个数量级。

幕后

• 当逻辑是过程化的（if/then、有界循环）时，DSL比JSON模式更有用——因为它在语法本身中捕捉了业务不变量。
• 最有效的实施模式：LLM → DSL输出 → 解释或编译为操作。您永远不会离开严格的编程语言——DSL是中介。
• 不适用的情况：输出宇宙不可枚举的创造性任务（生成营销文本、头脑风暴名称）。

结论

对于架构师：重新考虑“我们将解析LLM的自由文本并期望”的决定。相反，采用LLM → DSL → 运行时。回归从沉默到尖锐。

对于构建LLM产品的团队：下一个工程努力不再是提示工程——它在于设计一个捕捉您的领域允许的内容的微型语言。这是语言设计师职业的回归，但名声不那么显赫。

对于长期债务：一个经过深思熟虑的DSL能够经受住下一代模型的考验。庞大的提示词则不行。