[Haskell-cafe] Warnings for unhandled exceptions

Ilya Portnov portnov at iportnov.ru
Tue Sep 9 14:09:23 UTC 2014


Hello.

There is an implementation of Java-like "checked exceptions" for 
Haskell: http://hackage.haskell.org/package/control-monad-exception :)

On 09.09.2014 18:38, Henk-Jan van Tuyl wrote:
>
> L.S.,
>
> I was reading about the Aardvark language [0] and the robustness they
> intend to implement in it by, amongst others, catching each possible
> exception. I wonder, is it possible to implement compiler warnings for
> unhandled exceptions in Haskell? One of the strong points of Haskell is
> the type checking and clearly identifying functions with side effects,
> but exceptions are not reflected by the type of a function. It would be
> useful if the compiler gave a warning for each type of exception, for
> each expression, that is not handled by the program.
>
> Regards,
> Henk-Jan van Tuyl
>
>
> [0] http://aardvarklanguage.sourceforge.net/
>
>



More information about the Haskell-Cafe mailing list