元理论 Metatheory.jl是用于Julia编程语言的通用元编程和代数计算库，旨在利用强大的反射功能来弥合符号数学，抽象解释，方程式推理，优化，可组合编译器转换和高级homoiconic之间的鸿沟模式匹配功能。 直观地，Metatheory.jl将Julia表达式转换为其他Julia表达式，并且可以在编译时和运行时实现。 这允许Metatheory.jl用户执行专门针对单个任意Julia软件包定制的可组合的编译器优化。 我们的库提供了一个简单的，可代数化的可组合界面，可以通过在高度抽象