Haskell——解析器组合关键字

Question

我正在使用解析器组合器在 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) 传递给关键字，然后将其传递给检查。但这行不通，因为我们在解析关键字的地方不知道允许使用哪种分隔符。

我想知道是否可以在这个问题上提供一些帮助？

Answer 1

不要尝试处理 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 <|> ...