haskell - 有没有办法对列表中间的值进行模式匹配？还是在最后？

Question

有点像

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

使用 Haskell，但了解其他具有模式匹配的语言如何实现这一点可能会很有趣。

Answer 1

尽管有其他答案，您可以使用 GHC 中的 View 模式扩展来执行此操作:

   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