Lib.rs

reFORM

reFORM 是一个符号操作工具包，旨在处理包含数十亿项的表达式，占用数TB的磁盘空间。在未来，它可能成为 FORM 的替代品。

目前 reFORM 处于早期开发阶段，还不能处理极端的工作负载。但是，有许多组件是可用的。具体来说，C 和 Python API 是完全功能的。

有关所有 reFORM 功能的概述，请参阅 手册。

快速示例

expr F = f(x,2,3,y);
apply {
    id f(?a,x?{>2},?b) = f(?b,?a);
    print;
}

此程序创建一个表达式 F 并对其项应用一个 id 语句。此语句匹配左侧的模式并修改它。 ?a 和 ?b 匹配任意数量的参数，而 x>2 将匹配大于两个的数字。

输出是

f(y,x,2)