We introduce Metatheory.jl: a lightweight and performant general purpose symbolics and metaprogramming framework meant to simplify the act of writing complex Julia metaprograms and to significantly enhance Julia with a native term rewriting system, based on state-of-the-art equality saturation techniques, and a dynamic first class Abstract Syntax Tree (AST) pattern matching system that is dynamically composable in an algebraic fashion, taking full advantage of the language's powerful reflection capabilities. Our contribution allows to perform general purpose symbolic mathematics, manipulation, optimization, synthesis or analysis of syntactically valid Julia expressions with a clean and concise programming interface, both during compilation or execution of programs.

中文翻译：

---

Metatheory.jl：Julia中具有可扩展的等式饱和度的快速优雅的代数计算

我们介绍Metatheory.jl：一种轻巧且性能卓越的通用符号和元编程框架，旨在简化基于先进的等式饱和技术的复杂Julia元程序的编写过程，并通过本地术语重写系统显着增强Julia ，以及动态的一流抽象语法树（AST）模式匹配系统，该系统可以以代数方式动态组合，从而充分利用了该语言强大的反射功能。我们的贡献使您可以在程序的编译或执行过程中，以简洁简洁的编程接口执行通用符号数学，句法有效的Julia表达式的运算，优化，综合或分析。