Haskell Parsec, oneOf'u [String]

Question

'a uyarlıyor Kendime bir program yazarak 48 saat içinde geçiyorum.

symbol :: Parser Char 
symbol = oneOf "!#$%&|*+-/:<=>?@^_~" 

Bu semboller için harikadır, ancak anahtar kelime listemiz varsa ne olur? (örn. struct, int)

Tek tek listelere uyarlanabilir mi? İdeal olarak aşağıda tarif ettiğim şey bu.

keywords :: Parser String 
keywords = oneOf ["struct","int",..etc] 

Ya Text.Parsec.Char ithalat ve anahtar kelimeler listesinin üzerine mapM dizeye denemeliyim?

Ben tokenize etmeye çalışıyorum ve sadece bu yoldan gitmiş olanlardan en iyi uygulamaların ne olduğunu bilmek istedim.

divOrMod = string "div" 
       <|> string "mod" 

bu genel formu aşağıdaki türü vardır the choice combinator olduğu

http://hackage.haskell.org/packages/archive/parsec/3.0.0/doc/html/Text-Parsec-Char.html

Answer 1

: Temelde

choice :: Stream s m t => [ParsecT s u m a] -> ParsecT s u m a 

, Verdiğiniz

belgeler böyle bir şey kullanmak demek o parserlerin bir listesi ve biri başarılı olana kadar bunları çalışır. choice, (<|>) kullanılarak uygulanır, bu nedenle bu yaklaşımla aynıdır. Senin durumunda

, anahtar kelimeler ancak başka ayrıştırıcıları bir listesini eşleştirmek için, sadece String s'lik bir liste üzerinde string harita ve o zaman bizim choice kullanabilirsiniz.

Diğer taraftan, mapM string, tamamen farklı bir şey yapardı; bu, parserlerin tüm numaralı sırasının sırayla başarılı olmasını beklerdi.