标签: 类型理论

使用此标签的全部文章 "类型理论".

• 装插件容易,卸插件难:一篇把动态组合讲明白的论文

  2026年8月14日

  北大和 DeepSeek 研究者把 effects/coeffects 从静态类型理论搬到运行时,为插件系统、热更新、自演化 agent harness 这类动态组合场景补上形式化基础,并给出生产级实现 Cordis 和 Koishi 案例。