用Perl 6语法在proto regex中传递变量

Question

将变量传递给Token或regex或规则是相当简单的。例如，的输出

grammar Foo {
    token TOP     { (.) {} <bar($0)> }
    token bar($s) { {say ~$s} .+ }
}
Foo.parse("xyz")

只是x。但是当使用proto时，事情变得不对劲了。例如，¹让我们制作一个简单的原型来区分字符串的其余部分是字母还是数字：

grammar Foo {
    token TOP     { (.) {} <bar($0)> }
    proto token bar { * }
          token bar:sym<a> ($s) { {say ~$s} <alpha>+ }
          token bar:sym<1> ($s) { {say ~$s} <digit>+ }
}

Foo.parse("xyz")

这个炸弹，声称它期望1个参数，但条得到2个。好的，在普通方法中，我们必须在proto声明中指定args，所以让我们声明：

grammar Foo {
    token TOP     { (.) {} <bar($0)> }
    proto token bar ($s) { * }
          token bar:sym<a> ($s) { {say ~$s} <alpha>+ }
          token bar:sym<1> ($s) { {say ~$s} <digit>+ }
}

Foo.parse("xyz")

现在我们得到了相反的结果：预期有2个参数，但得到了1个。嗯，也许这意味着proto声明正在吞噬这个值，而没有传递任何东西。所以我试着把它塞进去：

grammar Foo {
    token TOP     { (.) {} <bar($0)> }
    proto token bar (|) { * }
          token bar:sym<a> ($s) { {say ~$s} <alpha>+ }
          token bar:sym<1> ($s) { {say ~$s} <digit>+ }
}

Foo.parse("xyz")

这里同样的错误。它声称它预期2个参数，但得到1个参数。2不知何故，proto的使用正在吞噬参数。目前，我找到的唯一解决方案使用动态变量，这让我认为可能有一些隐藏的步骤，其中变量没有从原型传递到候选人。

grammar Foo {
    token TOP     { (.) {} <bar($0)> }
    proto token bar ($*s) { * }
          token bar:sym<a> { {say ~$*s} <alpha>+ }
          token bar:sym<1> { {say ~$*s} <digit>+ }
}

Foo.parse("xyz")

但这似乎不是一个完全直观的步骤。如何以非动态方式将变量直接传递给proto，以使候选对象接收到它？

[1] 请注意，上面的所有代码都将重点放在传递变量上。实际使用的代币与我的真实代码没有任何相似之处
[2]我也开始怀疑这是否（一般来说）是一条LTA错误消息。虽然我知道它是基于first arg=invocant的，但它仍然让人感觉不舒服。也许它应该说“预期发票和一个参数，仅收到发票”之类的话。




Answer 1

第一件事是我真的不明白你打算在这里做什么。我的印象是，您希望令牌的第二部分是第一部分的函数。我不明白你为什么在这里用原型。您可以通过以下方式立即执行此操作：

grammar Foo {
    token TOP     { (.) {} <bar($0)> }
    token bar( $s )  { {say ~$s} $s <alpha>+ }
}

say Foo.parse("xxz")

但我不确定你能不能把符号和参数结合起来syms已经有一个参数：副词中使用的参数。它不仅仅是一个符号，它是要匹配的（如果您使用预定义的标记

grammar Foo {
    token TOP     { (.) {} <bar> }
    proto token bar {*}
    token bar:sym<alpha>  { <alpha>+ }
    token bar:sym<digit>  { <digit>+ }
}

say Foo.parse("xxz");
say Foo.parse("x01")

或者简单地使用字符串作为sym匹配：

grammar Foo {
    token TOP     { (.) {} <bar>+ }
    proto token bar {*}
    token bar:sym<x>  { <sym>+ }
    token bar:sym<z>  { <sym>+ }
    token bar:sym<1>  { <sym>+ }
    token bar:sym<0>  { <sym>+ }
}

say Foo.parse("xxz");
say Foo.parse("x01")

所以我想说，Raiph的答案是你想去的地方syms似乎不是实现这一点的正确方法，因为它们有一个内置变量（sym的参数），但您必须指定每种情况。

Answer 2

TL； DR

>

我有一个替代方法，用于传递非动态参数。但是看到下一点。

你解释你打高尔夫球的后续评论表明你的动态变量选择可能更好。我也会讨论的。

将原始令牌转换为原始方法

grammar Foo {
  token TOP { (.) {} <bar($0)> }
  proto method bar ($s) {*}
  multi token bar ($s where /<alpha>+/) { {say 'alpha start ', $s} .. }
  multi token bar ($s where /<digit>+/) { {say 'digit start ', $s} .. }
}

say Foo.parse("xyz")

显示：

alpha start ｢x｣
｢xyz｣
 0 => ｢x｣
 bar => ｢yz｣

在我的实际代码中，变量被传递来阻止某些匹配（主要是为了避免某些类型的递归）

听起来你可以有一个单一的动态变量（比如$*nope），设置为你想要的任何值，然后系统地使用它。或者是一对。动态变量正是为这类事情而设计的。除了在意识形态上对动态变量感到不安（在某种程度上，它们被不小心地用作不受约束的全局变量——它们是坏消息）之外，还有什么不喜欢的呢？