有没有办法对列表中间的值进行模式匹配？或者最后？

Question

类似 Haskell 之类的东西

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

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

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 xs = head [ x | Left x <- xs ]

请注意，如果没有错误，head 将失败。

Answer 3

不，没有。但是，您可以使用递归轻松编写该函数：

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