Haskell中如何对SomeException包裹的异常进行模式匹配？

可以对SomeException包裹的异常进行非通配符模式匹配，但你尝试的写法无法通过编译，原因如下：

当你用SomeException e模式匹配时，e是一个多态刚性类型变量——编译器无法确定它的具体类型（因为SomeException可以包裹任何实现了Exception类型类的异常）。直接用DivideByZero（属于ArithException类型）去匹配不确定类型的e，会导致类型不匹配错误。

以下是两种可行的实现方式：

方式1：使用fromException做类型转换 #

利用Exception类型类提供的fromException函数，它可以尝试将SomeException转换为指定的异常类型，返回Maybe类型结果：

import Control.Exception
import Data.Typeable

handler :: SomeException -> IO ()
handler se = case fromException se of
  Just DivideByZero -> putStrLn "handler: DivideByZero!"
  _ -> putStrLn $ "handler: exception is: " ++ show se ++ " of type: " ++ show (typeOf se)

blowUp = do
    putStrLn (show (1 `div` 0))

main = catch blowUp handler

fromException的类型签名为Exception e => SomeException -> Maybe e：如果传入的SomeException包裹的是目标类型的异常，就返回Just 异常实例；否则返回Nothing。通过这种方式就能精准匹配特定异常。

方式2：用catches组合多类型异常处理器 #

如果不需要统一处理所有SomeException，可以直接为特定异常类型编写处理器，再用catches将它们组合起来：

import Control.Exception
import Data.Typeable

arithHandler :: ArithException -> IO ()
arithHandler DivideByZero = putStrLn "handler: DivideByZero!"
arithHandler e = putStrLn $ "handler: arithmetic exception: " ++ show e

otherHandler :: SomeException -> IO ()
otherHandler e = putStrLn $ "handler: other exception: " ++ show e ++ " of type: " ++ show (typeOf e)

blowUp = do
    putStrLn (show (1 `div` 0))

main = blowUp `catches` [Handler arithHandler, Handler otherHandler]

catches会自动寻找第一个匹配当前异常类型的处理器执行，这种写法结构更清晰，无需手动处理SomeException的类型转换。

内容的提问来源于stack exchange，提问作者stf