里斯本学者用 aeon 语言的液体类型,在编译期拦截 Agent 错误计划

dscape · x · 2026-09-06

LLM 生成 bash、Python 或 AppleScript 形式的行动计划时,往往要等跑了几小时才发现计划本身是错的。里斯本大学副教授、LASIGE 研究员 @alcides 开发了编程语言 aeon,利用液体类型(liquid types)和线性类型(linear types),让编译器在程序执行前就拒绝不合理的代码。他将展示如何基于 aeon 设计一门领域专用语言,在编译阶段就抓住 Agent 的概念性错误,而不是等到运行后才发现问题。