変数によって参照されるトークンにパラメータを渡す方法は？

10

トークン名を直接使用することで、トークン署名を簡単に使用できます。

my token t ( $x ) { $x };

'axb' ~~ / 'a' <t: 'x'> 'b' /;      # match
'axb' ~~ / 'a' <t( 'x' )> 'b' /;    # match

ただし、トークンが変数に格納されている場合、これを行う方法が見つかりませんでした。

my $t = token ( $x ) { $x };

'axb' ~~ / 'a' <$t: 'x'> 'b' /;
'axb' ~~ / 'a' <$t( 'x' )> 'b' /;

両方が与える：

===SORRY!=== Error while compiling ...
Unable to parse expression in metachar:sym<assert>; couldn't find final '>'

それを行うための魔法の構文は何ですか？

ところで：私はRakuテストスイートを閲覧したこともあり、そのようなケースは含まれていませんroast/S05-grammar/signatures.t。

raku

— パヴェルパビアbbkr
ソース

8

どちらか：

my &t = token ( $x ) { $x };

say 'axb' ~~ / 'a' <&t: 'x'> 'b' /;   # ｢axb｣
say 'axb' ~~ / 'a' <&t( 'x' )> 'b' /; # ｢axb｣

— レイフ
ソース

2

トークンは特定の属性が設定された正規表現であり、正規表現は呼び出し可能オブジェクトであるため、&変数に入る可能性があることを指摘するのに役立つかもしれません。

— user0721090601

1

ありがとう！jnthnは私の質問に非常に直接答えましたが、これは私の問題の本当の原因、つまり間違った印を強調しているので、これを答えとしてフラグを立てています。トークンを最初からCallableとして扱うことは、より明確な解決策です。

— Pawel Pabian bbkr

11

置き&変数の前に：

my $t = token ( $x ) { $x };
say 'axb' ~~ / 'a' <&$t: 'x'> 'b' /;
say 'axb' ~~ / 'a' <&$t( 'x' )> 'b' /;

パーサーはを検索&し、Raku変数解析ルールに委任します。これにより、このようなコンテキストアライザがうまく解析されます。

— ジョナサン・ワージントン
ソース