[Haskell-cafe] Warnings for unhandled exceptions

Henk-Jan van Tuyl hjgtuyl at chello.nl
Tue Sep 9 12:38:34 UTC 2014


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 at 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
--


More information about the Haskell-Cafe mailing list