haskell - Haskell 异常处理是如何工作的？

Question

foldl1 (+) []

如何捕获产生的错误？

Answer 1

纯代码可能会抛出异步，imprecise exceptions ，例如，当部分函数遇到输入时，它没有需要处理的情况。

这些通常是逻辑错误，表明程序规范中存在错误。

它们可能会通过 exception handler 被 IO 代码捕获(通常在程序的外层)。 .

例如，要捕获空列表中丢失的案例，

{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE BangPatterns        #-}

import Control.Exception

main = do
    handle (\(e :: SomeException) -> print $ "This program as a bug: " ++ show e) $ do
        let !v = foldl1 (+) ([] :: [Int])
        return ()

我们可以观察到异常被捕获，并且程序终止。

$ ./A
"This program as a bug: Prelude.foldl1: empty list"