有沒有辦法在列表中間模式匹配值？或在最後？

Question

像

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

WRT哈斯克爾，但它可能是有趣的，懂得其他語言與模式匹配做到這一點。

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

不，沒有。但是，您可以easiliy寫函數使用遞歸：

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

Answer 3

沒有，但你可以使用列表理解

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

需要注意的是，如果沒有錯誤head將失敗。