> Another question: Is "handle" strict in the following argument: > > handle :: (IOError -> IO a) -> IO a -> IO a > ^ > (meaning: will "handle f (return bottom)" be bottom?) Good question. No, it's not strict in that sense. Simon
- Re: FW: Exceptions are too return values! S. Alexander Jacobson
- Re: FW: Exceptions are too return values! Koen Claessen
- RE: Exceptions are too return values! Karlsson Kent - keka
- Re: FW: Exceptions are too return values! Kevin Hammond
- Re: FW: Exceptions are too return values! Fergus Henderson
- Re: Exceptions are too return values! Fergus Henderson
- Re: FW: Exceptions are too return values! Fergus Henderson
- Re: FW: Exceptions are too return values! Alastair Reid
- Re: FW: Exceptions are too return values! S. Alexander Jacobson
- Re: FW: Exceptions are too return values! Fergus Henderson
- Re: FW: Exceptions are too return values! Simon L Peyton Jones
- Re: FW: Exceptions are too return values! Simon L Peyton Jones
- Re: FW: Exceptions are too return values! Simon L Peyton Jones
- RE: Exceptions are too return values! Karlsson Kent - keka
- Re: FW: Exceptions are too return values! Amr A Sabry
- Re: Exceptions are too return values! Fergus Henderson
- Re: FW: Exceptions are too return values! Fergus Henderson
- Re: Exceptions are too return values! Hans Aberg
- Re: FW: Exceptions are too return values! Alastair Reid
- Re: FW: Exceptions are too return values! Fergus Henderson
- Re: FW: Exceptions are too return values! Alastair Reid