parsing - 具有运算符优先级规则的 Perl 6 语法示例

Question

我对 Perl 非常陌生，想要创建一种具有优先级的运算符的领域特定语言，这些运算符使用新的 Perl 6 语法功能。例如以正确的方式解析“1 + 2 * 6”。

到目前为止我发现的文档(例如 this )还没有带有优先级声明的运算符的语法规则的示例。

我有一个非常简单的例子

use v6;

#use Grammar::Tracer;

grammar TestGrammar {

    token TOP {
        <digit> <infix> <digit>
    }

    token infix:sym<times> is equiv(&infix:<*>) { <sym> }

}

sub MAIN() {
    my $text = "1 times 2" ;
    say $text ;

    my $match = TestGrammar.parse($text);
    say $match;
}

这给了我

No such method 'infix' for invocant of type 'TestGrammar'

我只是想构建一个抽象语法树。

Answer 1

据我所知，您无法在语法中设置中缀运算符并定义优先级等。这些目前仅适用于扩展 Perl 6。

这是一种可能的方法。它在加法之前解析乘法术语，并且还允许单词或符号，例如times或* .

use v6;

grammar TestGrammar {

    rule TOP      { <expr=.add> }

    rule add      { <expr=.multiply> +% [ <add-op> ] }
    rule multiply { <digit> +%  [ <mult-op> ] }

    proto token mult-op {*}
    token mult-op:sym<times>   { <sym>|'*' }
    token mult-op:sym<divided> { <sym>|'/' }

    proto token add-op {*}
    token add-op:sym<plus>     { <sym>|'+' }
    token add-op:sym<minus>    { <sym>|'-' }

}

sub MAIN() {
    for ("2+2", "2 + 2", "1 * 2", "1 + 2 * 6", "4 times 7 minus 3") {
        say $_;
        my $match = TestGrammar.parse($_);
        say $match;
    }
}

请注意%是分隔符运算符。 <digit> +% [ <mult-op> ]表示由乘法运算符分隔的数字列表( times 、 * 、 divided 或 / )。

2014 年 9 月的替代解决方案:

S05确实提到，虽然规则和标记是特殊方法，但两者都可以声明为 multi 并像常规方法一样接受参数。

此方法利用递归和多重调度来实现运算符优先级。

use v6;

grammar TestGrammar {

    rule TOP                { <expr(3)> }

    # operator multi-dispatch, loosest to tightest
    multi token op(3) {'+'|'-'|add|minus}
    multi token op(2) {'*'|'/'|times|divided}
    multi token op(1) {'**'}

    # expression multi-dispatch (recursive)
    multi rule expr(0)      { <digit> | '(' ~ ')' <expr(3)> }
    multi rule expr($pred)  { <expr($pred-1)> +% [ <op($pred)> ] }

}

sub MAIN() {
    for ("2+2", "2 + 2", "1 * 2", "1 + 2**3 * 6", "4 times (7 minus 3) * 3") {
        say $_;
        my $match = TestGrammar.parse($_);
        say $match;
    }
}