[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Re: [fricas-devel] Re: [open-axiom-devel] [fricas-deve
From: |
Bill Page |
Subject: |
[Axiom-developer] Re: [fricas-devel] Re: [open-axiom-devel] [fricas-devel] Re: [fricas-devel] Re: iterators and cartesian product. |
Date: |
Wed, 31 Oct 2007 23:13:43 -0400 |
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.
- [Axiom-developer] Re: [open-axiom-devel] [fricas-devel] Re: [fricas-devel] Re: iterators and cartesian product., Ralf Hemmecke, 2007/10/31
- [Axiom-developer] Re: [open-axiom-devel] [fricas-devel] Re: [fricas-devel] Re: iterators and cartesian product., Bill Page, 2007/10/31
- [Axiom-developer] Re: [fricas-devel] Re: [open-axiom-devel] [fricas-devel] Re: [fricas-devel] Re: iterators and cartesian product., Gabriel Dos Reis, 2007/10/31
- [Axiom-developer] Re: [fricas-devel] Re: [open-axiom-devel] [fricas-devel] Re: [fricas-devel] Re: iterators and cartesian product., Bill Page, 2007/10/31
- [Axiom-developer] Re: [fricas-devel] Re: [open-axiom-devel] [fricas-devel] Re: [fricas-devel] Re: iterators and cartesian product., Gabriel Dos Reis, 2007/10/31
- [Axiom-developer] Re: [fricas-devel] Re: [open-axiom-devel] [fricas-devel] Re: [fricas-devel] Re: iterators and cartesian product., Bill Page, 2007/10/31
- [Axiom-developer] Re: [fricas-devel] Re: [open-axiom-devel] [fricas-devel] Re: [fricas-devel] Re: iterators and cartesian product., Gabriel Dos Reis, 2007/10/31
- [Axiom-developer] Re: [fricas-devel] Re: [open-axiom-devel] [fricas-devel] Re: [fricas-devel] Re: iterators and cartesian product., Bill Page, 2007/10/31
- [Axiom-developer] Re: [fricas-devel] Re: [open-axiom-devel] [fricas-devel] Re: [fricas-devel] Re: iterators and cartesian product., Gabriel Dos Reis, 2007/10/31
- [Axiom-developer] Re: [fricas-devel] Re: [open-axiom-devel] [fricas-devel] Re: [fricas-devel] Re: iterators and cartesian product.,
Bill Page <=
- [Axiom-developer] Re: [fricas-devel] Re: [open-axiom-devel] [fricas-devel] Re: [fricas-devel] Re: iterators and cartesian product., Gabriel Dos Reis, 2007/10/31