在 Haskell 中解析特定字符串

Question

我正在使用秒差距 Haskell 库。

我想解析以下类型的字符串：

[[v1]][[v2]]

xyz[[v1]][[v2]]

[[v1]]xyz[[v2]]

等等。

我很感兴趣只收集值 v1 和 v2，并将它们存储在数据结构中。

我尝试使用以下代码：

import Text.ParserCombinators.Parsec

quantifiedVars = sepEndBy var (string "]]")
var = between (string "[[") (string "") (many (noneOf "]]"))

parseSL :: String -> Either ParseError [String]
parseSL input = parse quantifiedVars "(unknown)" input

main = do {
   c <- getContents;
   case parse quantifiedVars "(stdin)" c of {
      Left e -> do { putStrLn "Error parsing input:"; print e; };
      Right r -> do{ putStrLn "ok"; mapM_ print r; };
   }
}

这样，如果输入是 "[[v1]][[v2]]" 程序工作正常，返回以下输出：

"v1"

"v2"

如果输入是 “xyz[[v1]][[v2]]” 该程序无法运行。特别是，我只想要 [[...]] 中包含的内容，忽略 "xyz"。

另外，我想将 [[...]] 的内容存储在数据结构中。

你如何解决这个问题？

Answer 1

您需要重组您的解析器。你在非常奇怪的地方使用组合器，它们会把事情搞砸。

var 是“[[”和“]]”之间的varName。所以，写下：

var = between (string "[[") (string "]]") varName

varName 应该有某种格式（我不认为你想接受“%A¤%&”，是吗？），所以你应该做一个解析器；但如果它真的可以是任何东西，只需这样做：

varName = many $ noneOf "]"

然后，包含变量的文本是由非变量分隔的变量。

varText = someText *> var `sepEndBy` someText

...其中 someText 是除 '[' 之外的任何内容：

someText = many $ noneOf "["

如果您希望它可解析，事情会变得更加复杂：

bla bla [ bla bla [[somevar]blabla]]

那么您需要一个更好的解析器来解析 varName 和 someText：

varName = concat <
gt; many (try incompleteTerminator <|> many1 (noneOf "]"))

-- Parses e.g. "]a"
incompleteTerminator = (\ a b -> [a, b]) <
gt; char ']' <*> noneOf "]"

someText = concat <
gt; many (try incompleteInitiator <|> many1 (noneOf "["))

-- Parses e.g. "[b"
incompleteInitiator = (\ a b -> [a, b]) <
gt; char '[' <*> noneOf "["

PS。 (<*>)、(*>) 和 (<$>) 来自 Control.Applicative。