An alternative to exceptions would be to use ADTs to wrap return values, e.g. Maybe, Either. Static analysis is much easier with these.


Kyle Marek-Spartz
 
 
 
 
 
On Sep 9, 2014, 7:38:34 AM, Henk-Jan van Tuyl <hjgtuyl@chello.nl> 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/


--
Folding@home
What if you could share your unused computer power to help find a cure? In
just 5 minutes you can join the world's biggest networked computer and get
us closer sooner. Watch the video.
http://folding.stanford.edu/


http://Van.Tuyl.eu/
http://members.chello.nl/hjgtuyl/tourdemonad.html
Haskell programming
--
_______________________________________________
Haskell-Cafe mailing list
mailto:Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe