字符串中的功能循环太长

时间:2018-06-27 17:16:33

标签: haskell hugs

我具有以下功能:

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

2 个答案:

答案 0 :(得分: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

答案 1 :(得分:0)

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

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

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