Performant Dynamically Typed E-Graphs in Pure Julia
<|reference_start|>Performant Dynamically Typed E-Graphs in Pure Julia: We introduce the third major version of Metatheory.jl, a Julia library for general-purpose metaprogramming and symbolic computation. Metatheory.jl provides a flexible and performant implementation of e-graphs and Equality Saturation (EqSat) that addresses the two-language problem in high-level compiler optimizations, symbolics and metaprogramming. We present results from our ongoing optimization efforts, comparing the state-of-the-art egg Rust library's performance against our system and show that performant EqSat implementations are possible without sacrificing the comfort of a direct 1-1 integration with a dynamic, high-level and an interactive host programming language.<|reference_end|>
@article{cheli2024performant,
    title={Performant Dynamically Typed E-Graphs in Pure Julia},
    author={Alessandro Cheli, Niklas Heim},
    journal={arXiv preprint arXiv:2404.08751},
    year={2024},
    archivePrefix={arXiv},
    eprint={2404.08751},
    primaryClass={cs.PL cs.SC}
}