Bill Page writes:
| I think the definition given here:
|
| http://en.wikibooks.org/wiki/Haskell/Category_theory
|
| will suffice for my purpose, especially when expressed in terms of
| 'unit' and 'join'. Is that OK with you?
No. Because you are still asking me to second-guess what you meant.
I think the definition given here:
http://en.wikibooks.org/wiki/Haskell/Category_theory
will suffice for my purpose, especially when expressed in terms of
'unit' and 'join'. Is that OK with you?
On Tue, Nov 8, 2011 at 1:53 PM, Gabriel Dos Reis wrote:
> Bill Page writes:
>
> | How can I impleme
Bill Page writes:
> ...
> | Second, we are trying to pass the functor M as a parameter.
> | Specifying this is a currently very awkward in both SPAD and Aldor.
> | What Ralph wrote involves passing a function which returns domain. In
> | Axiom and it's derivatives this is not the same thing as a
Bill Page writes:
| How can I implement Haskell monads in OpenAxiom (or any other Axiom
| variant including Aldor)? How does or how could the monad construction
| in Haskell fit into Axiom?
OK. Show me your version of Haskell monad -- the reason I am asking is
that there are many things people
How can I implement Haskell monads in OpenAxiom (or any other Axiom
variant including Aldor)? How does or how could the monad construction
in Haskell fit into Axiom?
On Tue, Nov 8, 2011 at 1:45 PM, Gabriel Dos Reis wrote:
> Bill Page writes:
>
> | Bill Page writes:
> | > ...
> | > | Second, we
Bill Page writes:
| Bill Page writes:
| > ...
| > | Second, we are trying to pass the functor M as a parameter.
| > | Specifying this is a currently very awkward in both SPAD and Aldor.
| > | What Ralph wrote involves passing a function which returns domain. In
| > | Axiom and it's derivatives
Bill Page writes:
[...]
| Second, we are trying to pass the functor M as a parameter.
| Specifying this is a currently very awkward in both SPAD and Aldor.
| What Ralph wrote involves passing a function which returns domain. In
| Axiom and it's derivatives this is not the same thing as a domain
