我具有以下功能:
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
答案 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)
等操作,可能会导致大量的解析。