On Wed, 31 Oct 2007, Bill Page wrote: | | 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?
That is explained in the reference to Philip Wadler's paper I pointed to in my earlier message. | Isn't that what you implied by your comment? Yes. -- Gaby ------------------------------------------------------------------------- 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
