2 个不稳定版本

新增 0.2.0 2024年8月18日
0.1.0 2024年6月14日

453编程语言

MPL-2.0 许可证

66KB
1.5K SLoC

Prism 编译器

自适应函数式编程语言

关于

此crate提供以下功能的PEG解析器:

  • 支持左递归
  • 自适应:语法可以在解析过程中动态更改

此crate正在积极开发中,尚未准备好用于生产代码。

示例

这定义了一个简单算术语言的语法,并支持自适应语言

rule start = block;
rule block {
    b <- "grammar" "{" g:grammar(prule_action) "}" ";" b:#adapt(g, block);
    s :: b <- s:stmt ";" b:block;
    [] <- "";
}

rule stmt {
    Let(e) <- "let" e:expr;
    Do() <- "do";
}

rule expr {
    group additive {
        Add(x, y) <- x:#next "+" y:#this;
    }
    group multiplicative {
        Mul(x, y) <- x:#next "*" y:#this;
    }
    group base {
        Block(b) <- "(" b:block ")";
        UnaryMinus(v) <- "-" v:#this;
        Num(n) <- n:#str([0-9]*);
    }
}

rule layout = [' ' | '\n'];

此语言中的示例程序

1 * 2 + -3
grammar {
    rule expr {
        group additive {
            1 + (-2) <- x:#next "-" y:#this;
        }
    }
};
1 - 2

依赖项

~3–4MB
~73K SLoC