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

Gregg Reynolds dev at mobileink.com
Sat Feb 7 12:18:12 EST 2009

Correction: the correct response is:  "Nothing."

On Sat, Feb 7, 2009 at 11:11 AM, Gregg Reynolds <dev at mobileink.com> 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

More information about the Haskell-Cafe mailing list