Higher-Order Parsing

演算子Operators

計算式の解析というのはそうめずらしくもない
Parsing arithmetic-type expressions is not too uncommon

『Higher-Order Perl』ではoperatorという関数をつくった
Higher-Order Perl develops an operator function

これを使うと、expression_parser関数をこのように書くことができる
From this, one could build an expression_parser function:

     $expression = 
        expression_parser(
            ATOM => $ATOM,
     
            OPS => [[lookfor(['^']), sub { $_[0] ** $_[1] }, "right-assoc"],
     
                    [lookfor(['*']), sub { $_[0] * $_[1] },
                     lookfor(['/']), sub { $_[0] / $_[1] }],
     
                    [lookfor(['+']), sub { $_[0] + $_[1] },
                     lookfor(['-']), sub { $_[0] - $_[1] }],
                   ],
                   
         );

たったこれだけのコードで2 + 3 * 4という入力を解析して14という答えを返す関数ができるわけだ
This little bit of code writes a function that parses an input like 2 + 3 * 4 and calculates the result (14)

優先順位とか括弧、結合法則も正しく扱える
It handles precedence, parentheses associativity...

技術的な理由で、-と/を正しく動作させるにはちょっとしたトリックが必要
For technical reasons, getting - and / to work requires some tricks

Parse::RecDescentのパーサのデザインが複雑なのはそのせい
These tricks tend to complicate the design of Parse::RecDescent parsers

HOP::Parserでは、その辺をoperatorの中に隠蔽している
With HOP::Parser, the complications are encapsulated inside of operator