Imprompt: 用于提示词编程的语言框架

Imprompt 是一个针对提示词编程（Prompt Programming）设计的语言框架，旨在将提示词作为可编程控制面以利用大语言模型能力。 该框架主张提示词程序仅包含任务描述，与底层执行细节解耦，并将其实现为提示词编程与“编译”的结合。 文章形式化定义了两种编译器，并建立类型检查与约束解码之间的对应关系，从而为提示词编程提供编程语言理论基础。