Hacker News new | past | comments | ask | show | jobs | submit login
A Simplified E-graph Implementation (philipzucker.com)
31 points by philzook on April 3, 2021 | hide | past | favorite | 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.



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.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: