Re: [Haskell-cafe] Re: exceptions vs. Either

André Pang 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