Parsec-Parser 工作正常，但是可以做得更好吗？

Question

我尝试这样做：

解析表单中的文本：

一些文本 #{0,0,0} 一些文本 #{0,0,0}#{0,0,0} 更多文本 #{0,0,0}

放入某些数据结构的列表中：

[“某些文本”内，外部 (0,0,0)，“某些文本”内，外部 (0,0,0)，外部 (0,0,0)，“更多文本”内，外部(0,0,0)]

所以这些 #{a,b,c} 位应该变成与文本其余部分不同的东西。

我有这段代码：

module ParsecTest where

import Text.ParserCombinators.Parsec
import Monad

type Reference = (Int, Int, Int)

data Transc = Inside String | Outside Reference
              deriving (Show)

text :: Parser Transc
text =  do
         x <- manyTill anyChar ((lookAhead reference) <|> (eof >> return (Inside "")));
         return (Inside x)

transc = reference <|> text

alot :: Parser [Transc]
alot = do
        manyTill transc eof

reference :: Parser Transc
reference = try (do{ char '#';
                  char '{';
                  a <- number;
                char ',';
                b <- number;
                char ',';
                c <- number;
                char '}';
                return (Outside (a,b,c)) })

number :: Parser Int
number = do{ x <- many1 digit;
             return (read x) }

这按预期工作。您可以通过键入以下内容在 ghci 中测试这一点

parseTest alot“一些文本#{0,0,0}一些文本#{0,0,0}#{0,0,0}更多文本#{0,0,0}”

但我认为这不太好。

1）使用 lookAhead 对于我的问题真的有必要吗？

2) return (Inside "") 是一个丑陋的黑客行为吗？

3）通常是否有更简洁/更智能的方法来实现相同的目标？

Answer 1

1）我认为你确实需要lookAhead，因为你需要解析的结果。最好通过使用 Parser (Transc,Maybe Transc) 来指示 Inside 以及可选的以下 Outside 来避免运行该解析器两次。 。如果性能是一个问题，那么这是值得做的。

2）是的。

3) Applicatives

number2 :: Parser Int
number2 = read <
gt; many1 digit

text2 :: Parser Transc
text2 = (Inside .) . (:) 
     <
gt; anyChar 
     <*> manyTill anyChar (try (lookAhead reference2) *> pure () <|> eof)


reference2 :: Parser Transc
reference2 = ((Outside .) .) . (,,) 
          <
gt; (string "#{" *> number2 <* char ',') 
          <*> number2 
          <*> (char ',' *> number2 <* char '}')

transc2 = reference2 <|> text2

alot2 = many transc2

您可能想要使用 aux xyz = Outside (x,y,z) 等帮助器重写 reference2 的开头。

编辑：更改了 text 以处理不以 Outside 结尾的输入。