Czy istnieje sposób na uzyskanie wyjątku w Haskell?

Question

Zróbmy następujące założenia:

• mój program przerywa z powodu nieprzechwyconego wyjątkiem
• Nie mam pojęcia, co typ tego wyjątku jest
• komunikat o błędzie drukowana nie zawiera wskazówkę na temat rodzaju wyjątków

Jak dowiem się, jaki jest ten wyjątek?

Minimal przykład:

main = error "foo" 

(. Tutaj to oczywiście ErrorCall, ale nie można powiedzieć z komunikatem o błędzie)

Answer 1

Tak. Wszystkie typy Exception muszą być instancjami Typeable, zakładając, że korzystasz z API nowych wyjątków.

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 

Wyniki:

 
Caught exception of type GHC.Exception.ErrorCall 
example