modeling out of memory

Bernard James POPE bjpop@cs.mu.OZ.AU
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:

   http://haskell.cs.yale.edu/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:

   http://citeseer.nj.nec.com/peytonjones00tackling.html

Cheers,
Bernie.