Parsec.Expr不支持重复前缀/后缀运算符

Question

文档Parsec.Expr.buildExpressionParser说:

相同优先级的前缀和后缀运算符只能出现一次(如果 - 是前缀否定,则不允许--2).

事实上,这是咬我的,因为我试图解析的语言允许任意重复它的前缀和后缀运算符(想想像C表达式**a[1][2]).

那么,为什么要Parsec制定这个限制,我该如何解决呢？

我想我可以将我的前缀/后缀解析器移到term解析器中,因为它们具有最高优先级.

即

**a + 1

被解析为

(*(*(a)))+(1)

但是如果我想要解析它,我该怎么办？

*(*((a)+(1)))

如果buildExpressionParser做了我想要的,我可以简单地重新排列表中运算符的顺序.

注意请参阅此处以获得更好的解决方

Answer 1

我通过使用chainl1以下方式自行解决:

prefix  p = Prefix  . chainl1 p $ return       (.)
postfix p = Postfix . chainl1 p $ return (flip (.))

这些组合器使用始终成功chainl1的op解析器,并简单地term以从左到右或从右到左的顺序组成解析器返回的函数.这些可以在buildExprParser表中使用; 你会在哪里做到这一点:

exprTable = [ [ Postfix subscr
              , Postfix dot
              ]
            , [ Prefix pos
              , Prefix neg
              ]
            ]

你现在这样做:

exprTable = [ [ postfix $ choice [ subscr
                                 , dot
                                 ]
              ]
            , [ prefix $ choice [ pos
                                , neg
                                ]
              ]
            ]

通过这种方式,buildExprParser仍然可以用于设置运算符优先级,但现在每个优先级只能看到一个Prefix或Postfix运算符.但是,该运算符能够尽可能多地填充自身的副本,并返回一个函数,使其看起来好像只有一个运算符.