[Haskell-cafe] Moggi :: CT - Hask

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

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

On Saturday 07 February 2009 12:11:29 pm Gregg Reynolds wrote: 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

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

Hi Dan, On Sat, Feb 7, 2009 at 12:00 PM, Dan Doel dan.d...@gmail.com wrote: On Saturday 07 February 2009 12:11:29 pm Gregg Reynolds wrote: As far as I know, Moggi didn't really have anything directly to do with Haskell. He pioneered the idea of monads being useful in denotational semantics.