A Simplified E-graph Implementation

philipzucker.com

31 points·philzook··7 comments

Here's my honest feedback: I stopped reading after the author started driving into implementation details without explaining what the purpose of an e-graph is. We got the what, but not the why.

I find the tutorial quite approachable

https://docs.rs/egg/0.6.0/egg/tutorials/_01_background/index...

This isn't the first time the author has written about E-graphs and they provide several links at the top which get to the meaning of them.

The 'e' stands for 'equivalence'.

https://www.philipzucker.com/egraph-1/

https://www.philipzucker.com/egraph-2/

Yea, sorry. I appreciate the feedback. Exactly what Jtsummers said, this is not really a standalone post. I did a bit better motivating the egraph in the first post.

I was able to dive right in and read it. I don’t think every blog post needs to be a standalone document. I’m always surprised at the whiny comments from HN readers like the one above: for a site that likes to act tech savvy, some folks on here are shockingly incapable of using a basic search engine to do their own background reading.

If I could predict the ones that will get traction on HN, I'd make sure to give them good intros. Oh well.

This 5-minute POPL video seems like a good introduction to the "why" of e-graphs.

https://www.youtube.com/watch?v=ap29SzDAzP0

Seems to be useful in term-rewriting applications.

Reply on news.ycombinator.com