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

研究者提出 Imprompt，一个用于提示词编程（把提示词当作可编程控制面来描述复杂任务）的语言框架，主张提示词程序只包含任务描述、与底层执行细节解耦。该工作为 Imprompt 程序形式化定义了两种编译器，并探讨提示词程序的类型系统，将类型检查与受限解码对应起来。团队已实现编译器和类型检查器，并在多个案例上完成评估。