Equality Saturation: An “Incomplete” Project
Summary
This SIGPLAN blog post discusses equality saturation, e-graphs, and the egg ecosystem, framing incompleteness as a deliberate design choice that enables flexible program optimization. It surveys historical context, current developments (egg, egglog, and related projects), and future directions, emphasizing community involvement and ongoing research at venues like PLDI and OOPSLA.