言栖资讯 / EnglishEfficient Extraction for Effectful E-graphs2026-10-19来源 LobstersEnglishComments原文:https://www.a8q9.cn/en/article/efficient-extraction-for-effectful-e-graphs-317017.html