Hacker News· dverlaeckt80·· 2 小时前AI 评分26
面向含副作用 E-graph 的高效提取算法 statewalk DP
Efficient Extraction for Effectful E-graphs
AI 导读
论文提出 statewalk DP，一种无需外部求解器即可高效强制副作用顺序的 E-graph 提取算法，在基准测试中比 ILP 提取快一个数量级，生成程序与 LLVM 相当。
来源：Hacker News · ztatlock.net
面向含副作用 E-graph 的高效提取算法 statewalk DP