Explicitly Typed Exceptions for Haskell

Abstract. We describe a monad for checked, explicitly typed exceptions, which provides as a simple Haskell library what for other languages is a native feature. Multi parameter type classes and overlapping instances are the only essential extensions to Haskell 98 required.

• Type: Conference
• Year: 2010
• Where: PADL
• Authors: José Iborra
• Keywords: Multi Parameter Type, PADL 2010, Programming Languages, Simple Haskell Library