左保用秒差距

Question

Helllo， 我的語法如下：通過讀取tutorial

<attribute_value> ::= <spec_constant> | <symbol> | (<s_expr>*) 
<attribute>  ::= <keyword> | <keyword> <attribute_value> 

，它說，它可能使用buildExpressionParser，它會執行左保理，但沒有一個例子。

有人可以給我一個例子，我應該如何使用Parsec解析上述語法，或只是指出我在正確的方向？

謝謝你給予的任何幫助。

Answer 1

假設你已經有

data Keyword 
data AttributeValue 

data Attribute = KeywordOnly Keyword 
       | KeywordWithAttribute Keyword AttributeValue 

keyword :: Parser Keyword 
attributeValue :: Parser AttributeValue 

，那麼你可以先解析Keyword，然後任選解析attribute，然後將它們合併執行attribute :: Parser Attribute：

attribute :: Parser Attribute 
attribute = pack <$> keyword <*> optionMaybe attributeValue 
    where 
    pack :: Keyword -> Maybe AttributeValue -> Attribute 
    pack kw = maybe (KeywordOnly kw) (KeywordWithAttribute kw) 

，而無需改變結構你的語法。