编程语言设计与大规模语言模型时代

大规模语言模型（LLM）的出现改变了编程语言设计的格局。

LLM可以自动生成代码，而这一能力可能冲击领域专用语言（DSL）的设计和应用。

DSL的开发者现在面临的挑战是如何让DSL在LLM盛行的环境中保持竞争力和实用性。

可以通过在现有主流编程语言（如Python）中定义DSL的语法和语义，以便于LLM识别和操作。

通过使用验证语言，可以为LLM生成的代码提供保证，帮助开发者理解和验证代码的正确性。

语言设计需要探索新的方向，比如与LLM协作来增强DSL的功能和可用性。