Philip Zucker发布了Lambda MicroEgg，这是一个基于e-graph的项重写工具，为s-expression前端增加了alpha感知绑定符、Miller模式和避免捕获的代换功能。该项目在Max的microegg基础上构建，展示了求和式常数因式分解和AC饱和等重写能力。
背景
E-graph是一种用于等式饱和的数据结构，Chris Urban的egg库推广了它。Lambda MicroEgg将其扩展到支持绑定变量和高阶模式，从而实现更 expressive 的符号重写规则。
- 来源
- Lobsters
- 发布时间
- 2026年9月21日 00:04
- 评分
- 5.0 / 10