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

论文提出将提示程序与执行细节解耦的 Imprompt 语言框架

资讯摘要

论文提出 Imprompt，一个用于研究和实践提示编程的语言框架。作者主张提示程序只应包含任务描述，并与底层“执行”细节解耦，将结构化提示视为提示编程与提示程序“编译”的结合。论文形式化定义了两种 Imprompt 编译器，并探讨提示程序的类型概念，将类型检查与受限解码对应，最后实现编译器与类型检查器并在多个案例上评估。

要点速读

1. 论文提出 Imprompt 语言框架，主张提示程序仅含任务描述、与底层执行细节解耦
2. 作者形式化定义两种 Imprompt 编译器，并建立类型检查与受限解码的对应关系
3. 作者实现编译器与类型检查器，并在多种案例研究中评估

中文摘要由 AI 根据公开来源生成，可能存在理解偏差；具体能力、数字、开放时间等信息请以原文为准。
采集于 2026/11/5 08:00:38（北京时间）。 arXiv 日期为本次公告时间，论文初次投稿日期请查看原文版本记录。