Metatheory.jl 源码

元理论 Metatheory.jl是用于Julia编程语言的通用元编程和代数计算库,旨在利用强大的反射功能来弥合符号数学,抽象解释,方程式推理,优化,可组合编译器转换和高级homoiconic之间的鸿沟模式匹配功能。 直观地,Metatheory.jl将Julia表达式转换为其他Julia表达式,并且可以在编译时和运行时实现。 这允许Metatheory.jl用户执行专门针对单个任意Julia软件包定制的可组合的编译器优化。 我们的库提供了一个简单的,可代数化的可组合界面,可以通过在高度抽象的纯净,句法有效的Julia中定义简洁的重写规则,来帮助科学家实施和推理语义和各种形式系统。 我们在电子图上实现等式饱和的基础是在库中实现的出色,最新技术,该技术在纯Julia中得以重新实现。 请注意,Metatheory.jl处于实验阶段,事情将会发生变化,很多 安装 您可以安装稳定版本: ju