为 ANTLR 语法编写解释器

Question

>我已经为APL子集做了一个语法。

grammar APL;
program: (statement NEWLINE)*;
statement: thing;
assignment: variable LARR thing;
thing: simpleThing
     | complexThing;
escapedThing: simpleThing
            | '(' complexThing ')';
simpleThing: variable    # ThingVariable
           | number      # ThingNumber
           ;
complexThing: unary      # ThingUOp
            | binary     # ThingBOp
            | assignment # ThingAssignment
            ;
variable: CAPITAL;
number: DIGITS;
unary: iota   # UOpIota
     | negate # UOpNegate
     ;
  iota: SMALL_IOTA number;
  negate: TILDA thing;
binary: drop         # BOpDrop
      | select       # BOpSelect
      | outerProduct # BOpOuterProduct
      | setInclusion # BOpSetInclusion
      ;
  drop: left=number SPIKE right=thing;
  select: left=escapedThing SLASH right=thing;
  outerProduct: left=escapedThing OUTER_PRODUCT_OP right=thing;
  setInclusion: left=escapedThing '∊' right=thing;
NEWLINE: [rn]+;
CAPITAL: [A-Z];
CAPITALS: (CAPITAL)+;
DIGITS: [0-9]+;
TILDA: '~';
SLASH: '/';
// greek
SMALL_IOTA: 'ι' | '@i';
// arrows
LARR: '←' | '@<-';
SPIKE: '↓' | '@Iv';
OUTER_PRODUCT_OP: '∘.×' | '@o.@x';

现在我想为它创建一个解释器。我正在尝试将clj-antlr与Clojure一起使用。我该怎么做？

Answer 1

正如Jared314所指出的，看看instaparse：

这是您创建语法的方式：

(def as-and-bs
(insta/parser
 "S = AB*
  AB = A B
  A = 'a'+
  B = 'b'+"))

这是你怎么称呼它的：

(as-and-bs "aaaaabbbaaaabb")

这是默认格式的结果：

[:S
  [:AB [:A "a" "a" "a" "a" "a"] [:B "b" "b" "b"]]
  [:AB [:A "a" "a" "a" "a"] [:B "b" "b"]]]

虽然ANTLR肯定做得很好，但在Clojure世界中，您可以使用instaparse去除所有周围的胶水。