[Haskell-cafe] Re: Moggi :: CT -> Hask

Correction: the correct response is: "Nothing." On Sat, Feb 7, 2009 at 11:11 AM, Gregg Reynolds wrote:

Hi,

I had a monadic revelation at about 3 am. The answer to the question "what is an IO value, really?" is "who cares?" I just posted a blog entry discussing how CT found it's way from Moggi into Haskell at http://syntax.wikidot.com/blog (hence the title; Moggi as functor). It addresses the question of what such things are and why Moggi's insight is so brilliant. Feedback welcome, but please remember this is coming from a non-mathematician who likes to write. If you find anything there that outrages your inner Russell, please correct me, but be gentle.

Thanks,

gregg