modeling out of memory

Bernard James POPE
Mon, 3 Mar 2003 20:41:15 +1100 (EST)

> Does this make the use of Monads doubtful? I mean it doesn't seem easy to
> have a completely pure language, and the time one starts introducing few
> impurities one also starts thinking why not include many others?

I suggest that you read this paper:

   A semantics for imprecise exceptions, Peyton-Jones et al.

You can find a copy on the documentation page for GHC:

See also:

  Tackling the Awkward Squad: monadic input/output, concurrency, exceptions,
  and foreign-language calls in Haskell, Peyton-Jones.

You can find it here: