Custom Data Structures in E-Graphs
Summary
This article from UW PLSE explores using custom data structures and containers within e-graphs (Egglog) to improve efficiency by reducing expression blow-up. It covers practical techniques like multisets, higher-order functions, and polynomial representations, with code examples in Rust and Python bindings, and discusses both benefits and limitations. The piece highlights how these approaches enable more scalable optimization and experimentation within equality saturation frameworks.