如何在Perl6中实现递归语法

Question

我正在尝试使用Perl6语法实现Markdown解析器，但被块引号卡住了。块引号段落不能用嵌套大括号表示，因为它是一个特定格式行的列表。但从语义上讲，它是一个嵌套的标记。

基本上可以归结为以下定义：

    token mdBlockquote {
        <mdBQLine>+ {
            my $quoted = [~] $m<mdBQLine>.map: { $_<mdBQLineBody> };
        }
    }

mdBQLine令牌的实际实现与此无关。唯一需要注意的是，mdBQLineBody键包含实际引用的带有

> # quote1
> quote2
>
> quote3
quote3.1

$引用标量将包含：

# quote1
quote2

quote3
quote3.1

现在，关键是要对上述数据进行解析，并将其注入到Match对象中。这就是我完全不知道的地方。最明显的解决方案：

    token mdBlockquote {
        <mdBQLine>+ {
            my $quoted = [~] $m<mdBQLine>.map: { $_<mdBQLineBody> };
            $<mdBQParsed> = self.parse( $quoted, actions => self.actions );
        }
    }

一次失败有两个原因：第一，$/是只读对象；其次，<代码>。parse有效地修改了它，使其无法向原始树中注入任何内容。

是否有任何解决方案，然后对解析后的数据进行分析，提取并重新解析块引号，重复。。。？




Answer 1

对@HåkonHægland的评论进行一点扩展。。。

是只读对象。。。有效地使其无法向原始树中注入任何内容。

不完全是：

>

但你指的是一个键的赋值。分配的语义由分配给的项决定。如果它们是不是容器的普通对象，那么它们将不支持左值语义，并且您将得到一个不能修改不可变的 错误，如果您尝试分配给他们。在这个意义上，匹配对象是不可变的。

您可以做的是使用. make方法将任意数据挂在任何Match对象上。（make例程在$/上调用此方法。）这就是您在解析树中存储自定义数据的方式。

要访问解析树的给定节点中的内容，请调用。在该节点上生成（或同义词ast）。

通常，您为解析树中的较高节点制作的包括为较低级别节点制作的内容。

请尝试以下未经测试的代码，看看您得到了什么，如果它失败得很惨，并且您无法找到使其工作的方法，请发表评论，或者根据上面的最后两段进行构建，并对其工作方式发表评论：

token mdBlockquote {
    <mdBQLine>+ {
        make .parse: [~] $m<mdBQLine>.map: { $_<mdBQLineBody> };
    }
}