[Haskell-cafe] Re: Category theory monad <----> Haskell monad
Chung-chieh Shan
ccshan at post.harvard.edu
Mon Aug 22 10:13:06 EDT 2005
Michael Vanier <mvanier at cs.caltech.edu> wrote in article <20050819054742.5C785103BE4 at orchestra.cs.caltech.edu> in gmane.comp.lang.haskell.cafe:
> Basically, though, the Haskell implementation _is_ the category theoretic
> definition of monad, with bind/return used instead of (f)map/join/return as
> described below.
Doesn't the Haskell implementation really correspond to the notion of a
strong monad in category theory, once we take into account the fact that
free variables can occur anywhere in the arguments to bind and return?
--
Edit this signature at http://www.digitas.harvard.edu/cgi-bin/ken/sig
2005-09-08 International Literacy Day http://www.un.org/depts/dhl/literacy/
2005-09-21 International Day of Peace http://www.internationaldayofpeace.org/
2005-09-22 European Car-Free Day http://www.22september.org/
2005-09-26 European Day of Languages http://www.ecml.at/edl/
More information about the Haskell-Cafe
mailing list