Dmitry Semikin dmitry.semi...@gmail.com writes:
[...]
| Recently, I was unable to compile working version of none: FriCAS, Open-Axiom
| nor Axiom - running on fresh Ubuntu 11.10. Ok, now I think, that the problem
is
| GCC 4.6, which is default there.
This is a surprising news to me. What
On Wed, Nov 9, 2011 at 10:12 AM, Dmitry Semikin
dmitry.semi...@gmail.com wrote:
But finally, for me Haskell is better then SPAD just for one reason. It (and
its general pupose libraries) are much more better supported and maintained.
Recently, I was unable to compile working version of none:
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:
| 1) Does this code (in principle) capture the notion of Monad?
For me, it is just a set of signatures; I should NOT be the person
being asked to reverse engineer what you wrote! :-)
| 2) If yes, is it useful? How to use it?
I do not know how useful
Sorry. This is not an attempt to solve any specific problem. The goals
were specified earlier in this thread. See also message in related
thread LazyList by Martin Baker.
On Wed, Nov 9, 2011 at 3:08 PM, Gabriel Dos Reis wrote:
Bill Page bill.p...@newsynthesis.org writes:
| 2) If yes, is it