Ralf Hemmecke r...@hemmecke.de writes:
[...]
| Partial (which corresponds to Maybe) and List are completely
| library-defined in libaldor.
The same is true in OpenAxiom -- I would suspect in FriCAS too.
-- Gaby
--
Since this is a discussion of Monad and not categories as parameters
as such, consider instead
Monad(A: SetCategory, M: SetCategory - SetCategory): Category == with {
unit: A - M A;
mult: M M A - M A;
}
Regards,
Bill Page
On Wed, Nov 9, 2011 at 10:57 AM, Gabriel Dos Reis wrote:
Bill Page
1) Does this code (in principle) capture the notion of Monad?
2) If yes, is it useful? How to use it?
3) Why doesn't this compile? (Discussion of function versus functor.)
4) Is there another way to write it that does compile and that would
be a useful way to represent a monad-like construction
Bill Page bill.p...@newsynthesis.org 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