El programador e investigador Philip Zucker presentó en el taller EGRAPHS de PLDI 2026 el trabajo "Lifting E-Graphs: A Function Isn't a Constant", una extensión de los e-grafos pensada para manipular de forma sistemática funciones del tipo R^n → R. La propuesta parte de una crítica a los nombres explícitos en la notación matemática: pueden generar procesos divergentes en igualdad por saturación, desaprovechan oportunidades de compartición de estructura y, sobre todo, pueden colapsar objetos que en realidad son distintos, como la función x ↦ sin(x) : R → R frente a x,y ↦ sin(x) : R^2 → R.
La idea central, bautizada como "Lifting E-Graph", consiste en incorporar el contexto como parte intrínseca del término mediante un combinador de lifting representado por un bitvector que indica qué variables se conservan y cuáles se descartan. Reglas de reescritura como f(lift_i(X), lift_i(Y)) → lift_i(f(X,Y)) permiten tratar el lifting como un homomorfismo que commutes con las funciones habituales, mientras que lift_i(lift_j(X)) = lift_k(X) ofrece una forma compacta de propagación de constantes.
El artículo describe cómo estas propiedades pueden codificarse en e-grafos de primer orden o, incluso, integrarse en la propia estructura del término reservando unos bits del identificador de eclase. El objetivo es ganar compartición estructural entre objetos semánticamente próximos pero tipológicamente distintos, manteniendo un sistema simplemente tipado y tratable algebraicamente.