[Haskell-cafe] Re: exceptions vs. Either

[Ketil Malde]

André Pang <ozone at algorithm.com.au> writes:

> As Keith said, Java will check at compile time whether or not you
> handle the exception.

This sounds very tedious!  The right thing to do if you don't handle
them, is of course to propagate exceptions up; however, then you need
to update a 'throws' clause as you modify your implementation.

Sounds like a job for...Type Inference!  Wouldn't it be nice if GHCi
and Hugs' ":i foo" would tell you about the exceptions it could throw?

(No idea how feasible that would be, and I may have misunderstood
stuff - it's ages since I wrote Java code)

-ketil
-- 
If I haven't seen further, it is by standing in the footprints of giants