如何用許多等效模式縮短Haskell函數定義

Question

我不知道如何描述這個標題，但它應該可以用示例代碼來理解。我怎樣才能縮短這個：

parse qs (e@Mark  :t@(Noun _) :Adv _ f:ss) = parse qs $ e : f t : ss 
parse qs (e@Mark  :t@(Verb _ _ _):Adv _ f:ss) = parse qs $ e : f t : ss 
parse qs (e@(Asgn _) :t@(Noun _) :Adv _ f:ss) = parse qs $ e : f t : ss 
parse qs (e@(Asgn _) :t@(Verb _ _ _):Adv _ f:ss) = parse qs $ e : f t : ss 
parse qs (e@LeftParen :t@(Noun _) :Adv _ f:ss) = parse qs $ e : f t : ss 
parse qs (e@LeftParen :t@(Verb _ _ _):Adv _ f:ss) = parse qs $ e : f t : ss 
parse qs (e@(Adv _ _) :t@(Noun _) :Adv _ f:ss) = parse qs $ e : f t : ss 
parse qs (e@(Adv _ _) :t@(Verb _ _ _):Adv _ f:ss) = parse qs $ e : f t : ss 
parse qs (e@(Verb _ _ _):t@(Noun _) :Adv _ f:ss) = parse qs $ e : f t : ss 
parse qs (e@(Verb _ _ _):t@(Verb _ _ _):Adv _ f:ss) = parse qs $ e : f t : ss 
parse qs (e@(Noun _) :t@(Noun _) :Adv _ f:ss) = parse qs $ e : f t : ss 
parse qs (e@(Noun _) :t@(Verb _ _ _):Adv _ f:ss) = parse qs $ e : f t : ss 

名單是[Token]類型（如qs，這是在其他定義中使用），這是我自己的類型。是否可能有Token的子類型，僅涵蓋Mark，Asgn _,LeftParen,Adv _ _,Verb _ _ _和Noun _，並且與該模式匹配？

編輯：的Token定義：

data Token = (Show, Read a) => Noun a 
      | Verb String (Token -> Token) (Token -> Token -> Token) 
      | Adv String (Token -> Token) Token 
      | Conj String (Token -> Token -> Token) Token 
      | Name String 
      | Asgn AsgnType 
      | Mark 
      | LeftParen 
      | RightParen 
    deriving (Show, Read) 

Answer 1

你可以編寫處理模式的一些輔助功能爲你匹配（因爲你實際上並不解構列表中的前兩個元素），然後使用衛士檢查模式是否匹配。

isStartToken :: Token -> Bool 
isStartToken = {- returns True for Mark, Asgn, LeftParen etc -} 

isNounOrVerb :: Token -> Bool 
isNounOrVerb = {- returns True for Noun and Verb only -} 

parse qs (e: t: Adv _ f: ss) 
    | isStartToken e && isNounOrVerb t = parse qs (e : f t : ss) 
    | otherwise      = {- whatever comes here -} 

Answer 2

這會更清晰一點，更短：

parse qs (e@Mark:ss) = parse qs $ appNounVerbAdv ss 
parse qs (e@(Asgn _):ss) = parse qs $ appNounVerbAdv ss 
parse qs (e@LeftParen:ss) = parse qs $ appNounVerbAdv ss 
parse qs (e@(Adv _ _) :ss) = parse qs $ appNounVerbAdv ss 
parse qs (e@(Verb _ _ _):ss) = parse qs $ appNounVerbAdv ss 
parse qs (e@(Noun _) :ss) = parse qs $ appNounVerbAdv ss 
... 

appNounVerbAdv (t@(Noun _):Adv _ f:ss) = f t : ss 
appNounVerbAdv (t@(Verb _ _ _):Adv _ f:ss) = f t : ss 
appNounVerbAdv _ = error "" 

剛剛嘗試向上突破的情況下，爲更小的功能以及這種模式只要你有沒有使用（如在qs參數在上面parse）。

也許像FSM這樣更正式的方法可能有助於保持事物的可管理性？