I must admit to some curiosity about this as well. My recollection was
that the original approach was to use lazy streams
IO:: [request] -> [respose].
This can be managed a bit better using continuations (Perhaps continuations
can also be considered a separate approach?)
And now we have the IO Monad. (which can be defined in terms of the stream
based approach but is not implemented that way)
The only other approach I am aware of is Clean's "Unique types".
On Sun, Oct 23, 2016 at 11:31 PM, Clinton Mead
Just curious, what was the IO approach that "wasn't ready in time"?
Are you aware how "monadic IO" became the standard in Haskell? It was one of three competing approaches, and AFAIK one turned out to be less useful, and the other simply wasn't ready in time (so it might still be interesting to investigate).
_______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.
-- Ron Legere (rjljr2@gmail.com) *C'est le temps que tu as perdu pour ta rose qui fait ta rose si importante*