[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Re: SPAD and Aldor again
From: |
Martin Rubey |
Subject: |
[Axiom-developer] Re: SPAD and Aldor again |
Date: |
17 Nov 2006 08:43:19 +0100 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.4 |
C Y <address@hidden> writes:
> I think we should make the decision as a project not to wait any longer for
> Aldor, and commit to improving SPAD - up until now I think there has been
> hesitation to commit serious effort to SPAD due to the possibility of Aldor
> becoming available and making such work unnecessary. To my mind the first
> step to improving SPAD is to decide what SPAD should be, since right now it
> doesn't have a formal language definition.
For me this is totally clear: SPAD should become a free implementation of the
Aldor language. It would not make sense to have to different languages around.
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.
Peter Broadbery is currently making Aldor extend work in Axiom. That's a giant
step, in fact! Unfortuantely, it seems that support for dependent types is even
more difficult. One would have to understand how aldor and axiom work
together. As far as I know, there are only very few people around who know
about this already.
I guess it's Peter. Laurentiu says he doesn't know about the axiom side, but I
know he knows foam. Tim, do you know about that stuff? Gaby, Waldek, did you
dig into this connection yet?
Martin
- [Axiom-developer] RE: Ping: case insensitive filesystems, (continued)
- [Axiom-developer] RE: Ping: case insensitive filesystems, Page, Bill, 2006/11/15
- [Axiom-developer] Re: Ping: case insensitive filesystems, Waldek Hebisch, 2006/11/15
- [Axiom-developer] Re: Ping: case insensitive filesystems, Gabriel Dos Reis, 2006/11/15
- [Axiom-developer] Re: Ping: case insensitive filesystems, Waldek Hebisch, 2006/11/15
- [Axiom-developer] RE: Ping: case insensitive filesystems, Page, Bill, 2006/11/15
- [Axiom-developer] Re: Ping: case insensitive filesystems, Waldek Hebisch, 2006/11/15
- [Axiom-developer] Re: Ping: case insensitive filesystems, Gabriel Dos Reis, 2006/11/15
- Re: [Axiom-developer] Re: Ping: case insensitive filesystems, C Y, 2006/11/16
- Re: [Axiom-developer] Re: Ping: case insensitive filesystems, Gabriel Dos Reis, 2006/11/16
- Re: [Axiom-developer] Re: Ping: case insensitive filesystems, C Y, 2006/11/16
- [Axiom-developer] Re: SPAD and Aldor again,
Martin Rubey <=
- Re: [Axiom-developer] Re: SPAD and Aldor again, Peter Broadbery, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, Waldek Hebisch, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, Peter Broadbery, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, Martin Rubey, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, Peter Broadbery, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, Martin Rubey, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, Waldek Hebisch, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, C Y, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, Gabriel Dos Reis, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, Martin Rubey, 2006/11/17