Programming Language Design in the Era of LLMs: A Return to Mediocrity?
a year ago
- #DSL
- #LLM
- #programming_languages
- 编程语言设计（PL）研究专注于创建领域特定语言（DSL），通过贴合用户直觉来简化复杂问题。
- DSL通过将领域规则直接编码到语言中，消除了样板代码并减少了错误。
- 大语言模型（LLM）的兴起对DSL设计构成挑战——LLM擅长Python等流行语言，但在小众或DSL场景中表现欠佳。
- LLM降低了创建DSL的动力，因为它们能直接用通用语言生成代码，可能导致DSL发展停滞。
- LLM时代DSL的三大新兴方向：
- 1. 以Python为中间语言进行转译，教会LLM理解DSL
- 2. 设计能与LLM工作流集成的DSL，弥合形式化（代码）与非形式化（自然语言）规范之间的鸿沟
- 3. 开发规范语言来验证LLM生成的代码，确保其在特定领域的正确性
- DSL的未来取决于：适应LLM生态、证明其存在价值以抵消更高的机会成本、探索语言设计与AI的新协同可能。