Anka：用于可靠LLM代码生成的DSL

本文介绍了Anka，一种专门为提高大型语言模型（LLM）代码生成可靠性而设计的领域特定语言（DSL）。它认为通用语言的灵活性会导致复杂编程任务中的错误。本文的重要性在于证明了LLM可以从上下文提示中学习新的DSL，并且受限语法可以显著减少错误，从而在复杂任务上实现比Python等通用语言更高的准确性。发布语言实现、基准测试套件和评估框架对未来的研究也很重要。