Re: [Haskell-cafe] Re: strict Haskell dialect

Johan Bockgård wrote:

John Meacham writes:

...

there are actually several ways to implement IO. There is a paper about it somewhere that explores various methods, but I can't seem to find it, does anyone know which one i am thinking of? I know it at least explores the state and continuation versions as well as some that don't use monads I thought. It was either part of a general paper on monads or something specific to doing IO...

This one? http://research.microsoft.com/~simonpj/Papers/imperative.ps.Z

Or perhaps the one that is attached. -Paul