[英]Haskell — parser combinators keywords
我正在使用解析器组合器在Haskell中构建解析器。 我在解析诸如“while”,“true”,“if”等关键字时遇到问题
所以我面临的问题是在关键字之后需要有一个分隔符或空格,例如在语句中if cond then stat1 else stat2 fi;x = 1
这个语句所有关键字都有一个空格在前面他们或半结肠。 但是在不同的情况下可以有不同的分隔符。
目前我已经实现如下:
keyword :: String -> Parser String
keyword k = do
kword <- leadingWS (string k)
check (== ';') <|> check isSpace <|> check (== ',') <|> check (== ']')
junk
return word
但是这个关键字解析器的问题在于它允许具有if语句的程序; cond然后stat1 else stat2 fi
我们尝试将(Char - > Bool)传递给关键字,然后将其传递给检查。 但这不起作用,因为在我们解析关键字时,我们不知道允许哪种分隔符。
我想知道我是否能对这个问题有所帮助?
不要尝试在keyword
处理分隔符,但是您需要确保keyword "if"
不会与标识符“iffy”混淆(请参阅sepp2k的评论)。
keyword :: String -> Parser String
keyword k = leadingWS $ try (do string k
notFollowedBy alphanum)
处理语句的分隔符将如下所示:
statements = statement `sepBy` semi
statement = ifStatement <|> assignmentStatement <|> ...
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.