有没有办法在列表中间模式匹配值？或在最后？

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将失败。