I, too, had a gripe about this, and was pointed to an excellent paper that explains all:

A Semantics for Imprecise Exceptions (1999)
Simon Peyton Jones, Alastair Reid, Tony Hoare, Simon Marlow, Fergus Henderson
SIGPLAN Conference on Programming Language Design and Implementation
http://citeseer.ist.psu.edu/peytonjones99semantics.html


#g
--

At 16:12 23/11/04 +0100, Johannes Waldmann wrote:

The other annoying thing is forcing it to run in the IO monad.

necessarily so, since Haskell has non-strict semantics
so it's not so clear when an exception is actually raised
(you might have left the block that textually contained the offending expression , and the exception handler, a long time ago)
--
-- Johannes Waldmann, Tel/Fax: (0341) 3076 6479 / 6480 --
------ http://www.imn.htwk-leipzig.de/~waldmann/ ---------


_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell

------------ Graham Klyne For email: http://www.ninebynine.org/#Contact

_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell

Reply via email to