3 Mar
2003
3 Mar
'03
4:41 a.m.
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.