Lifting E-Graphs
Summary
The post introduces Lifting E-Graphs, arguing for preserving context in expressions to improve sharing and memory usage in e-graphs. It covers the motivation to avoid explicit naming, defines lifting and its algebra, and discusses practical implementation ideas like smart constructors, union-find with liftings, and ematching considerations, with connections to related work.