Hello,
On Tue, 25 Jul 2006 11:19:50 +0200, Ralf Hemmecke <[EMAIL PROTECTED]> wrote:
On 07/25/2006 07:16 AM, Christian Aistleitner wrote:
stdout << ( A has CatA) << newline;
stdout << ((A add) has CatA) << newline;
It still does not compile. But it should. Both A and "A add" are
domain
Hello,
But perhaps "has" is not so weak. What other applications of
reflection are there other then conditional ones?
I do not know if you'd consider that to be reflection or not...
I'd need a generator for all the fields of a domain.
I'd need a way to determine the type of a field.
I'd need a
On Tuesday, July 25, 2006 9:31 PM C Y wrote:
> ...
> The axiom_cmu.tgz archive does not contain the boot directory.
I have to admit that I had not previously looked deeply at the
axiom_cmu build but it seems to me that it is based on a different
version of boot then the one built by the standard
CY,
BUILD ORDER
Axiom runs a tree of Makefiles, starting with the root Makefile.
Each subdirectory contains a Makefile.pamphlet. The system does
a recursive walk of the Makefile tree by subdirectory.
In a subdirectory running a Makefil
On Tuesday, July 25, 2006 11:48 AM Alfredo Portes wrote:
>
> I started merging the content of axiom-developer into Doyen:
> http://doyen.sytes.net
>
Great.
The web site above does not seem to be responding right now:
The connection has timed out
The server at 24.44.150.177 is taking too lon
Le mardi 25 juillet 2006 à 17:20 -0700, C Y a écrit :
> Question. I've managed so far to get the boottocl command more or less
> working (e.g. most of the boot dir code). It occurrs to me that this
> might be a waste of time, particularly if the interp directory code
> contains all of the functio
--- "Page, Bill" <[EMAIL PROTECTED]> wrote:
> On Tuesday, July 25, 2006 8:20 PM C Y asked:
> >
> > Question. I've managed so far to get the boottocl command
> > more or less working (e.g. most of the boot dir code).
>
> Good work!
Thanks.
> > It occurrs to me that this might be a waste of ti
On Tuesday, July 25, 2006 8:20 PM C Y asked:
>
> Question. I've managed so far to get the boottocl command
> more or less working (e.g. most of the boot dir code).
Good work!
> It occurrs to me that this might be a waste of time,
> particularly if the interp directory code contains all of
> th
Question. I've managed so far to get the boottocl command more or less
working (e.g. most of the boot dir code). It occurrs to me that this
might be a waste of time, particularly if the interp directory code
contains all of the functionality in boot aside from translating boot
code to cl. I thin
Hi Bill,
I started merging the content of axiom-developer into Doyen:
http://doyen.sytes.net
This is just a start, basically to keep the links relevant to Doyen
and Axiom. I would like to know how can I add a general stylesheet to
the wiki using Zope. Also, I would like to eliminate the subtopic
Jacques Carette <[EMAIL PROTECTED]> writes:
| If you want a better experience with metaprogramming, I definitely
| recommend MetaOCaml (http://www.metaocaml.org). Unlike Template
| Haskell, it is fully typed; TH only types the result of the
| generation, not the generator itself [though SimonPJ a
Hi,
I have recently discovered this software (not yet tried it):
http://modular.math.washington.edu/sage/
Has any Axiom developper heard about it? I have noticed it provides a
binding for Maxima. Maybe is also possible with Axiom? (I do not
have the resources to work on such a thing in the
If you want a better experience with metaprogramming, I definitely
recommend MetaOCaml (http://www.metaocaml.org). Unlike Template
Haskell, it is fully typed; TH only types the result of the generation,
not the generator itself [though SimonPJ assures me they are working on
that too].
Gabrie
Y: CatA == (ABC add);
W: CatA == (ABC add)@CatABC;
The result for Z is false. Maybe you meant "why for Y the
answer is false but for X it is true"?
Well that was an error on my side. My code changed while I was writing
the email.
It should be clear by now that Y has static and dynamic type
On 07/25/2006 07:16 AM, Christian Aistleitner wrote:
Hello
stdout << ( A has CatA) << newline;
stdout << ((A add) has CatA) << newline;
It still does not compile. But it should. Both A and "A add" are domains
of type CatA.
Why should (A add) be of static type CatA? (I assume you meant
But perhaps "has" is not so weak. What other applications of
reflection are there other then conditional ones?
Yes "has" is quite weak. One has to give the type you are trying to test
on the right hand side of "has". But if you don't know that might be
difficult. In particular for an interpret
16 matches
Mail list logo
