Re: Lift and bind

2010-01-12 Thread Steven E. Harris
jim writes: > You know, I think you're right. I would refer you to part 2 of > Konrad's monad tutorial, but the link is broken. Check google's cache, > if you want to read an explanation immediately. That's how I've been reading his tutorials, as WordPress isn't delivering the pages. In "A mona

Re: Lift and bind (was: Understanding the continuation monad's bind operator)

2010-01-11 Thread jim
You know, I think you're right. I would refer you to part 2 of Konrad's monad tutorial, but the link is broken. Check google's cache, if you want to read an explanation immediately. I'll have to go change that. Thanks for pointing it out and sorry for any confusion. Jim Steven E. Harris wrote: >

Re: Lift and bind (was: Understanding the continuation monad's bind operator)

2010-01-12 Thread Graham Fawcett
Hi, On Mon, Jan 11, 2010 at 8:44 PM, Steven E. Harris wrote: > Konrad Hinsen writes: > >> For a function of a single argument, m-lift and m-fmap are equivalent. > > In Jim Duey's essay Higher Level MonadsĀ¹, he writes the following on the > lift operator: > > ,[ m-lift ] > | If you have a fun