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 

однако проблема с этим ключевым словом парсер является то, что это позволит программы, которые имеют такие заявления, если; cond then 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) 

Обработка Сепараторы для заявлений будет идти, как это: