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