6

我正在尝试使用 Parsec 在 Haskell 中编写解析器。目前我有一个可以解析的程序

test x [1,2,3] end

执行此操作的代码如下

testParser = do { 
  reserved "test"; 
  v <- identifier; 
  symbol "["; 
  l <- sepBy natural commaSep;
  symbol "]";
  p <- pParser;
  return $ Test v (List l) p
 } <?> "end"

其中 commaSep 定义为

commaSep        = skipMany1 (space <|> char ',')

现在有什么方法可以让我解析类似的语句,特别是:

test x [1...3] end

作为 Haskell 和 Parsec 的新手,我确信有一些我不知道的简洁的好方法。任何帮助,将不胜感激。

再次感谢。

4

1 回答 1

14

我将使用Control.Applicativelike中的一些功能(*>)。如果您想避免 Parsec 的单子接口并更喜欢应用接口,这些函数很有用,因为在我看来,解析器变得更容易阅读。

如果您不熟悉基本的应用程序功能,请发表评论,我会解释它们。如果您不确定,可以在Hoogle上查找它们。


正如我理解您的问题一样,您需要一个解析器来处理这样的一些数据结构:

data Test = Test String Numbers
data Numbers = List [Int] | Range Int Int

可以解析这种数据结构的解析器看起来像这样(我没有编译代码,但它应该可以工作):

-- parses "test <identifier> [<numbers>] end"
testParser :: Parser Test
testParser =
  Test <$> reserved "test" *> identifier
       <*> symbol "[" *> numbersParser <* symbol "]"
       <*  reserved "end"
       <?> "test"

numbersParser :: Parser Numbers
numbersParser = try listParser <|> rangeParser

-- parses "<natural>, <natural>, <natural>" etc
listParser :: Parser Numbers
listParser =
  List <$> sepBy natural (symbol ",")
       <?> "list"

-- parses "<natural> ... <natural>"
rangeParser :: Parser Numbers
rangeParser =
  Range <$> natural <* symbol "..."
        <*> natural
        <?> "range"
于 2012-07-17T15:47:53.247 回答