Imprompt：一个面向提示编程的语言框架

随着语言模型（LM）取得前所未有的成功，提示工程这门学科演化出了提示编程这一强有力的思想：将提示视为可编程的控制面，用以描述复杂任务并调用LM的能力。然而，现有提示编程框架存在种种复杂与不优雅之处，使其难以在实践中被有效用于描述任务。我们提出Imprompt，一个面向提示编程研究与实践的新语言框架。我们对提示编程进行了基础性研究，主张提示程序只应包含任务描述，并必须与底层的“执行”细节解耦。我们进一步发展这一立场，将结构化提示阐释为提示编程与提示程序“编译”的结合。我们通过形式化定义两个面向Imprompt程序的编译器来例证这一观点。随后我们探索提示程序的类型化思想，并建立类型检查与受限解码之间的对应关系。最后，我们实现了编译器与类型检查器，并在多种案例研究中进行评估。我们相信本工作为提示编程这一新兴领域贡献了程序设计语言方面的基础。