[Haskell-cafe] Re: Category theory monad <----> Haskell monad

Jeremy Gibbons jeremy.gibbons at comlab.ox.ac.uk
Tue Aug 23 12:19:41 EDT 2005

On 14/08/05, Carl Marks <id2359 <at> yahoo.com> wrote:

> Is there any text/article which makes precise/rigorous/explicit
> the connection between the category theoretic definition of
> monad with the haskell implementation?

I did try to do this in my (rejected) paper "A monadic
interpretation of tactics" with Andrew Martin:


[That should be all on one line, but my newsreader won't let me
exceed 80 chars. :-( ]

If you ignore the stuff on tactics, you could view it as yet
another general introduction to monads.


More information about the Haskell-Cafe mailing list