On 10/31/07, Gabriel Dos Reis wrote: > > On Wed, 31 Oct 2007, Bill Page wrote: > ... > | > | > | > | Perhaps I am being dense but I do not see what this has to do with the > | > | concept of Monad in Haskell. > | > > | > They are the same categorial notion. > | > | That is not clear to me. > | > | > What you have in Haskell is a computer scientist application of the > | > categorial notion of `monad'. > | > | Agreed. > > I cannot reconcile both your statements. >
I mean: What does Monad as defined in the Axiom library right now: ++ Monad is the class of all multiplicative monads, i.e. sets ++ with a binary operation. have to do with Monads in Haskell? Isn't that what you implied by your comment? "There already existe a domain called Monad in the Axiom family -- it is a well mathematically defined notion." Or did you just mean that if one implemented Haskell-style monads in Axiom, one should use a different name? > http://research.microsoft.com/~simonpj/papers/haskell-retrospective/HaskellRetrospective.pdf > > skip to page 40. > Oh yah, I remember that. I suppose we could use that name for monad in Axiom: )abbrev domain WarmFuzzyThing WFT ... ;-) Regards, Bill Page. ------------------------------------------------------------------------- This SF.net email is sponsored by: Splunk Inc. Still grepping through log files to find problems? Stop. Now Search log events and configuration files using AJAX and a browser. Download your FREE copy of Splunk now >> http://get.splunk.com/ _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
