Question

我具有以下功能：

item :: Parser Char
item  = Parser i
        where i []     = []
              i (x:xs) = [(x,xs)] 

many  :: Eq a=> Parser a -> Parser [a]
many p = many1 p +++ return []

many1  :: Eq a=> Parser a -> Parser [a]
many1 p = do v  <- p
             vs <- many p
             returns (v:vs)

应用不同的字符串会得到奇怪的结果。如果我执行：

parse (many item) "x:=0"

我得到

[('x',0)]

而如果我使用另一个更长的字符串，例如“如果x = 0则x：= 0否则x：= 1”，它看起来就像循环。进行一些尝试，似乎如果字符串长于19个字符，则该函数不会结束。这很奇怪，因为在其他少于19个字符的字符串上，它的效果很好。可能是什么？

其他定义：

newtype Parser a = Parser { parse :: String -> [(a, String)] }


instance Monad Parser where
    return t = Parser $ \s -> [(t, s)]
    m >>= k  = Parser $ \s -> [(x, y) | (u, v) <- parse m s, (x, y) <- parse (k u) v]

(+++) :: Eq a => Parser a -> Parser a -> Parser a
p +++ q = Parser $ \s -> if((parse p s)==[]) then parse q s else parse p s

Answer 1

您的代码运行良好，只是您已将解析器编写为具有无限回溯功能，因此运行时O(2^n)。您添加的每个字符都会使完成时间翻倍：

$ time hugs foo.hs <<< 'parse (many item) "if x=0 then x:=0 els"'
[...]
Main> [("if x=0 then x:=0 els","")]
Main> [Leaving Hugs]

real    0m11.076s
user    0m10.578s
sys     0m0.016s

vs

$ time hugs foo.hs <<< 'parse (many item) "if x=0 then x:=0 else"'
[...]
Main> [("if x=0 then x:=0 else","")]
Main> [Leaving Hugs]

real    0m22.346s
user    0m22.048s
sys     0m0.036s

Answer 2

您实施的(+++)并没有您认为的那样。特别是，它将仅从其参数之一返回成功解析的结果，而不是从两者均返回成功的解析结果。这是您想做什么的方法：

(+++) :: Parser a -> Parser a -> Parser a
p +++ q = Parser $ \s -> parse p s ++ parse q s

尽管这不会删除重复项，但请注意，通过执行many (many item)等操作，可能会导致大量的解析。

字符串中的功能循环太长

2 个答案: