リストの途中で値とパターンマッチングする方法はありますか？または最後に？

Question

getFirstError :: [Either a b] -> a 
getFirstError (x:y:...:Left w:z) = w 

WRT Haskellのようなものが、それは面白いかもしれませんが、パターンはこれを実現一致するとどのように他の言語を知っています。

Answer 1

あなたは、他の回答にもかかわらず、GHCでは、この使用してビューのパターンの拡張を行うことができます

getFirstError ((msum . map test) -> Just x) = x 
     where test (Left x) = Just x 
       test (Right x) = Nothing 

代わりに使用してパターンガード：

getFirstError (xs) | Just x <- (msum $ map test xs) = x 
     where test (Left x) = Just x 
       test (Right) x = Nothing 

Answer 2

いいえ、ありません。ノー

getFirstError [] = error "getFirstError: empty list or no error" 
getFirstError (Left x : xs) = x 
getFirstError (_ : xs) = getFirstError xs 

Answer 3

ていますが、リストの内包に誤りがない場合headが失敗すること

getFirstError xs = head [ x | Left x <- xs ] 

注意を使用することができます。ただし、再帰を使用して関数を記述easiliyすることができます。