有没有办法在Haskell中获取异常的类型？

Question

让我们作如下假设：

• 我的程序中止由于未捕获到异常
• 我不知道该异常的类型是什么
• 印刷错误信息中包含异常的类型没有暗示

如何找出该异常的类型？

小例子：

main = error "foo" 

（这是当然ErrorCall的，但你不能从错误消息告诉）

Answer 1

是。假设您使用新的异常API，则所有Exception类型都必须是Typeable的实例。

import Control.Exception 
import Data.Typeable 
import Prelude hiding (catch) 

realMain = error "example" 
main = realMain `catch` h where 
    h (SomeException e) = do 
    putStrLn $ "Caught exception of type " ++ show (typeOf e) 
    putStrLn $ show e 

结果：

 
Caught exception of type GHC.Exception.ErrorCall 
example