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:
Tackling the Awkward Squad: monadic input/output, concurrency, exceptions,
and foreign-language calls in Haskell, Peyton-Jones.
You can find it here: