3

我有一个如下所示的数据类型：

type Parser a = ExceptT ParseError (State [Token]) a

以及状态操作功能：

consumeToken :: Parser Token
consumeToken = do
    toks <- lift get
    if null toks 
        then throwE OutOfTokensError
        else 
            do
                lift $ put (tail toks)
                return $ head toks

peekToken :: Parser Token
peekToken = do
    toks <- lift get
    if null toks 
        then throwE OutOfTokensError
        else 
            do
                return $ head toks

我正在尝试使用这些函数来帮助验证语法中的生产规则：

charList :: Parser CharList
charList =
    (return CharListCharacter <*> isToken (Character "<char>") <*> charList)
    <|> (return CharListSpace <*> isToken (Space " ") <*> charList)
    <|> (return EmptyCharList)

似乎isToken需要消耗当前令牌（使用consumeToken），以便递归调用charList然后处理以下令牌。但是，这样做意味着替代情况不会从与第一种情况相同的标记开始。

有没有标准的方法来处理这个问题？

4

1 回答 1

0

根据评论中的建议，我改造了我的解析器以利用我的语法是 LL(1) 的事实。这样做意味着我不需要Alternative.

这是charList函数的最终版本（使用isTokenusing consumeToken）：

charList :: Parser CharList
charList = do
    tok <- peekToken
    case tok of Character _ -> return CharListCharacter <*> isToken (Character "<char>") <*> charList
                Space _     -> return CharListSpace <*> isToken (Space " ") <*> charList
                _           -> return EmptyCharList
于 2018-04-03T17:58:49.960 回答