[Axiom-math] Re: [fricas-devel] Re: [open-axiom-devel] [fricas-devel] Re: [fricas-devel] Re: iterators and cartesian product.

[Gabriel Dos Reis]

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