如何通过编程（动态）创建Raku语法？

Question

---

假设语法G具有两种作品……

1. S→
2. λS→Raku中的ASB

---

，一个人将如何以编程方式创建此语法（即动态，在运行时动态）？

目的是在运行时创建一个Raku程序 - 一种Raku语法，该语法可能是静态写的，因为……

grammar Parser
  {
  token  TOP  { <S> }
  token S { '' | 'a' <S> 'b' }
  }

---

给出了我问题的第一个答案，我正在尝试动态创建静态写入的内容……

  grammar Parser
    {
    token TOP { <S> }
    } # end grammar Parser

但是，我尝试了……

  constant Parser := Metamodel::GrammarHOW.new_type( name => 'Parser' ) ;
  Parser.^add_method('TOP', my method TOP(Parser:) { <S> }) ;
  Parser.^compose;                                                 # } 
  say Parser.HOW.^name ;
  say Parser.^methods(:local) ;

但是，答复是………

Perl6::Metamodel::GrammarHOW
(TOP)

而不是希望……

Perl6::Metamodel::GrammarHOW
(token TOP { <S> } BUILDALL)

add_method应该如何添加top token （后来，其他令牌，例如s 令牌）？

---

经过更多的工作，我相信我可能有一个解决方案……

  constant Parser := Metamodel::GrammarHOW.new_type( name => 'Parser' ) ;
  Parser.^add_method( 'TOP', my token TOP { <S> } ) ;
  Parser.^add_method( 'S', my token S { '' | 'a' <S> 'b' } ) ;
  Parser.^compose ;
  say Parser.HOW.^name ;
  say Parser.^methods( :local ) ;
  say Parser.parse: 'aabb' ;

输出是……

Perl6::Metamodel::GrammarHOW
(token TOP { <S> } token S { '' | 'a' <S> 'b' })
｢aabb｣
 S => ｢aabb｣
  S => ｢ab｣
   S => ｢｣

我已经编码了 static parser的版本> static 解析器与上面显示的输出相似的输出是……

(token TOP { <S> } token S { '' | 'a' 'a' <S> 'b' 'b' } BUILDALL)

我不确定我buildall在我的中丢失了动态 >创建解析器。我不了解bueldall，在线搜索时找不到太多。

---

Answer 1

当然，使用元模型。与每种基本类型的HOWS（高阶工作）相同，都有语法语法。不幸的是，有关元模型的信息没有很多。有 Masak < /a>提到语法，仅此而已。但是，查看代码，它本质上是一个类。如果您查看 classhow 示例，示例，并使方法是令牌，课程是语法。

通常，元编程是一个迄今未被广泛覆盖的主题。可惜。