Magpie

为 LLM 和智能体工作流设计的实验性静态检查语言。它的规范把所有权和借用检查与 ARC 管理的堆生命周期结合在一起。