Metatheory.jl:基于可扩展等式饱和的 Julia 快速优雅代数计算
编程语言
2021-04-14 v1 符号计算
摘要
我们介绍 Metatheory.jl:一个轻量且高性能的通用符号与元编程框架,旨在简化编写复杂 Julia 元程序的过程,并通过基于最先进的等式饱和技术的原生项重写系统,以及以代数方式动态可组合的、动态一等抽象语法树(AST)模式匹配系统,显著增强 Julia 语言,充分利用该语言强大的反射能力。我们的贡献使得在程序编译或执行期间,能够以简洁干净的编程接口对语法有效的 Julia 表达式进行通用符号数学、操作、优化、综合或分析。
引用
@article{arxiv.2102.07888,
title = {Metatheory.jl: Fast and Elegant Algebraic Computation in Julia with Extensible Equality Saturation},
author = {Alessandro Cheli},
journal= {arXiv preprint arXiv:2102.07888},
year = {2021}
}
备注
3 pages, 1 figure