On Fri, Nov 11, 2011 at 1:37 AM, Gabriel Dos Reis wrote:
> Bill Page writes:
>
> | > IMList(): Monad(Integer,List) == add
> | > unit ( x:Integer ): List Integer == list x
> | > mult ( x: List List Integer ): List Integer = concat x
> |
> | Note especially the 2nd argument to Monad.
>
> In Op
Bill Page writes:
| Sorry. This is not an attempt to solve any specific problem.
Ah! Maybe I should refrain from trying to answer questions then :-/
| The goals
| were specified earlier in this thread. See also message in related
| thread LazyList by Martin Baker.
|
| On Wed, Nov 9, 2011 at
Bertfried Fauser writes:
[...]
| > where is the name of the constructor you want, e.g. 'List,
| > 'Integer, etc. You get the target type by
| No:
| (1) -> )boot getConstructorSignature('List).source
| (EVAL-WHEN (EVAL LOAD)
| (PROG () (RETURN (|getConstructorSignature| (CDR '|List|)
|
|
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 writes:
>
> | 2) If yes, is it useful? How to use it?
>
>
Bill Page 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 it is until you've shown c
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
