在Rascal中解析和实现Lambda演算

Question

我正在尝试在Rascal内实现lambda演算，但无法获得优先级并无法按照我希望的方式进行解析。 目前，我有一个语法类似于：

keyword Keywords= "if" | "then" | "else"  | "end" | "fun";

lexical Ident = [a-zA-Z] !>> [a-zA-Z]+ !>> [a-zA-Z0-9] \ Keywords;
lexical Natural = [0-9]+  !>> [0-9];
lexical LAYOUT = [\t-\n\r\ ];
layout LAYOUTLIST = LAYOUT*  !>> [\t-\n\r\ ];

start syntax Prog = prog: Exp LAYOUTLIST;

syntax Exp =
    var: Ident
    | nat: Natural
    | bracket "(" Exp ")"
    > left app: Exp Exp
    > right func: "fun" Ident "-\>" Exp

当我解析形式的程序时：

(fun x -> fun y -> x) 1 2

生成的树为：

prog(app(
    app(
      func(
        "x",
        func(
          "y",
          var("x")
      nat(1),
    nat(2))))))

我真正在哪里寻找这样的东西（我认为）：

prog(app(
    func(
      "x",
      app(
        func(
          "y",
          var("x")),
        nat(2))),
    nat(1)))

我尝试了语法中各种优先顺序的变体，尝试将App规则用括号括起来，还尝试了其他多种变体。 我似乎不明白这里发生了什么。 非常感激任何的帮助。 谢谢。

Answer 1

我用下面的语法，这消除了多余的LAYOUTLIST和死者right ，但这不应该有所作为。 当我使用通用implode功能时，它似乎可以按您的意愿工作：

keyword Keywords= "if" | "then" | "else"  | "end" | "fun";

lexical Ident = [a-zA-Z] !>> [a-zA-Z]+ !>> [a-zA-Z0-9] \ Keywords;
lexical Natural = [0-9]+  !>> [0-9];
lexical LAYOUT = [\t-\n\r\ ];
layout LAYOUTLIST = LAYOUT*  !>> [\t-\n\r\ ];

start syntax Prog = prog: Exp;

syntax Exp =
    var: Ident
    | nat: Natural
    | bracket "(" Exp ")"
    > left app: Exp Exp
    > func: "fun" Ident "-\>" Exp
    ;

然后调用解析器并内插到未类型化的AST（为了便于阅读，我删除了位置注释）：

rascal>import ParseTree;
ok
rascal>implode(#node, parse(#start[Prog], "(fun x -\> fun y -\> x) 1 2"))
node: "prog"("app"(
        "app"(
          "func"(
            "x",
            "func"(
              "y",
              "var"("x"))),
          "nat"("1")),
        "nat"("2")))

因此，我想您对于想要的树的形状来说语法正确。 您如何从具体的分析树变成抽象的AST？ 也许那里发生了一些有趣的事情。