Higher-Order Parsing

ラベル付きブロックLabeled blocks

『Higher-Order Perl』では描画システムをつくった
In Higher-Order Perl, I build a drawing system

このシステムの入力にはこんな制約をつけられるようにしてある
The input language to the drawing system contains constructions like:

        constraints { ... }

あるいは、こんな
And:

        define square extends rectangle { ... }

ここではもっと高度なコンストラクタを使おう
So I use an even higher-level parser constructor:

        sub labeled_block {
          my ($header, $item, $separator) = @_;
          $separator = lookfor(";") unless defined $separator;
          conc($header, 
               lookfor("{"), 
               list_of($item, $separator),
               lookfor("}"));
        }

そうすると、本当に複雑なパーサもこんな風に書ける
And define really complex parsers with it:

        $constraint_block = 
          labeled_block(L("CONSTRAINTS"), $constraint);
     
        $definition = 
          labeled_block($Definition_header, $declaration);