使用 Haskell 解析方案 dottedlist/list

Question

我正在关注this guide关于编写计划解释器。在尝试左因子 DottedList/List 的语法时，我想出了这个:

E -> (H T)
H -> E H'
H' -> <space> H
H' -> <term>
T ->  <term>
T -> <space> . <space> E

--

spaces :: Parser ()
spaces = skipMany1 (space <?> "spaces")

parseExpr :: Parser LispVal
parseExpr = (... omitted ...) <|>
             do char '('
                h <- sepBy parseExpr spaces
                t <- optionMaybe ((spaces' >> char '.' >> spaces' >> parseExpr)  <?> "parseDotExpr failed")
                z <- if isJust t then return $ DottedSuffix $ fromJust t else return Tail
                z' <- case z of Tail           -> return $ List x
                                DottedSuffix s -> return $ DottedList x s
                char ')'
                return z'

不幸的是，这不能处理基本的点列表:

test/Spec.hs:23: 
1) test eval 1 evals DottedList
     expected: "(1 2 . 1)"
      but got: "Parse error at \"lisp\" (line 1, column 7):\nunexpected \".\"\nexpecting spaces' or parseExpr!"

test/Spec.hs:26: 
2) test eval 1 evals DottedList (quoted)
     expected: "((1 2) . 1)"
      but got: "Parse error at \"lisp\" (line 1, column 15):\nunexpected \".\"\nexpecting spaces' or parseExpr!"

test/Spec.hs:29: 
3) test eval 1 evals DottedList (sugared)
     expected: "((1 2) . 1)"
      but got: "Parse error at \"lisp\" (line 1, column 9):\nunexpected \".\"\nexpecting spaces' or parseExpr!"

更新: 从 @pat 的回复中，我使用以下方法通过了测试:

parseExpr :: Parser LispVal
parseExpr = {- omitted -}
         <|> do char '('
                x <- many1 (do e <- parseExpr; spaces'; return e)
               {- omitted -}

Answer 1

sepBy 解析器看到点之前的空格，并 promise 解析另一个表达式，但失败了。

您应该让词素消耗并丢弃尾随空格(请参阅parsec的lexeme)并将sepBy更改为many1。 optionMaybe 可以在看到点后提交，否则需要 try。