缺乏易用的 e-graph 语言绑定
问题概述
当前的 e‑graph 实现多为内部研究工具，缺乏对外的语言绑定和易用性，使用者在尝试将其集成到自己的项目时会遇到语言不熟悉、绑定缺失以及性能不足等问题。
痛点标签
- 缺乏对外的语言绑定（如 Clojure、Python 等）
- 对 e‑graph 概念的学习门槛高，使用者不清楚如何入手
- 现有实现性能较慢，需要优化
待验证问题
- 是否需要提供更易上手的语言绑定（如 Clojure、Python）来降低使用门槛？
- 用户是否希望现有实现能够提供更完整的绑定支持？
- 是否关注对现有实现的性能优化以提升速度？
证据
原话 · @Anonymous
Nice post and I want to encourage the author to keep going :)Incidentally, I recently vibe coded an e-graph library in Clojure and a CAS system on top of it. I am not very familiar with the theory and my background on symbolic algebra systems was mostly coming from SICP. My motivation was just to play with ideas and "see some things actually happen" also. My library doesn't have any binding support but does do some of the semiring completion stuff mentioned in the post.It was cool to see the numbers for the AC-10 benchmark match exactly. My lib is much slower, so this is motivating me to optimize it a bit. Anyway, I appreciate the post as well as the down to earth writing style.
原话 · @Anonymous
Strictly for insiders only? I wouldn't even know where to find out what language that is. It has something to do with e-graphs, which seems to be a veritable rabbit hole.
免责声明：本卡片由 AI 从社区讨论中提炼，属于「痛点证据」，是需求分析与验证的起点，不等同于「已验证的市场需求」。AI 存在分析局限，关键决策前请打开上方原始讨论人工复核。