Exception

From HaskellWiki

An exception denotes an unpredictable situation at runtime, like "out of disk storage", "read protected file", "user removed disk while reading", "syntax error in user input". These are situation which occur relatively seldom and thus their immediate handling would clutter the code which should describe the regular processing. Since exceptions must be expected at runtime there are also mechanisms for (selectively) handling them.

In general you should be very careful, not to mix up exceptions with errors. Actually, an unhandled exception is an error.

1 Implementation

The great thing about Haskell is, that it is not necessary to hard-wire the exception handling into the language. Everything is already there to implement definition and handling of exceptions nicely.

data MonadException e a =
     Success a
   | Exception e
 
instance Monad (MonadException e) where
   return              =  Success
   Exception l >>= _   =  Exception l
   Successt r  >>= k   =  k r
 
throw :: e -> MonadException e a
throw = Exception
 
catch :: MonadException e a -> (e -> MonadException e a) -> MonadException e a
catch (Exception  l) h = h l
catch (Success r)    _ = Success r

2 See also

• Error

Category: Glossary