[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] Re: SPAD and Aldor again

From: Martin Rubey
Subject: Re: [Axiom-developer] Re: SPAD and Aldor again
Date: 17 Nov 2006 11:36:01 +0100
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.4

Peter Broadbery <address@hidden> writes:

> On Fri, 2006-11-17 at 08:43 +0100, Martin Rubey wrote:

> > And, as you know, in my opinion the first step in making this happen is to
> > make the Axiom interpreter (!) understand Aldor generated code, i.e.,
> > dependent types.
> This is currently stymied by the aldor compiler not being able to generate
> .asy files where there are dependent types in signatures
> (try 'foo: (R: Ring, t: R)').  The .asy generation code enters a loop, which
> is a bit poor.

Does this mean that one would need to modify the Aldor compiler? I.e., we would
need access to the sources?

> Even once you've got your dependent signatures into axiom, it has to
> (presumably) be able to interpret them, which will need a more complex type
> matching process than what currently exists (I think).  On the plus side,
> doing this is a good step towards a real compiler.

So, is there any way to make this happen? Money?


reply via email to

[Prev in Thread] Current Thread [Next in Thread]