Can also be found here...
http://physics.bu.edu/~youssef/homepage/talks/categories/categories.html
This seems to be an article related to these slides.
http://atlas.bu.edu/~youssef/papers/math/aldor/aldor.pdf
I remember that Saul Youssef gave me access to his code, which I made
compile with the
>I found this page:
>
> Aldor & Axiom Workshop 2008
>
>http://compgroups.net/comp.lang.lisp/-ann-aldor-axiom-openaxiom-fricas-workshop-200/705328
>
>
>Will there be another event like this in the near future?
I was unaware this took place.
Tim
Well I spent the night thinking about it and, frankly, I'd
say that Haskell has taken over the niche where Aldor could
have been. Haskell has an interactive mode, a strong compiler,
strong type checking, multi-core support, and a much larger
user population. I don't see that Aldor offers any advant
On Mon, Oct 17, 2011 at 4:15 AM, Martin Baker wrote:
> On Sunday 16 Oct 2011 21:27:41 Ralf Hemmecke wrote:
> [...] if only all this wasted effort could have been spent adding
> Aldor-like features to Axiom.
like per/rep, or import Foreign to OpenAxiom? ;-)
_
Hi Martin,
Better it is free and there is a little chance that some day someone
picks it up) than non-free and unmaintained.
I don't understand the technical issues and I agree that, in most cases,
choice is a good thing.
This is not about choice or fragmentation. Simply look at the error
On Sunday 16 Oct 2011 21:27:41 Ralf Hemmecke wrote:
> Better it is free and there is a little chance that some day someone
> picks it up) than non-free and unmaintained.
I don't understand the technical issues and I agree that, in most cases,
choice is a good thing.
However, in the case of pan-a
On 10/16/2011 09:14 PM, d...@axiom-developer.org wrote:
PS: Yes, I'm still hoping that one day Aldor becomes free. :-)
I think you over-estimate the value of a "free Aldor" and underestimate
the costs.
Sure, I do. ;-) But a non-free Aldor cannot serve the scientific
community at all. All CAS
>so I put the question if any of you are 100% committed to maintaining
>your project as a free software project. I do not object to
>supporting aldor for the end user but I will not continue using
>axiom/fricas/open-axiom if aldor becomes an essential component.
The Aldor software cannot become a
Tim,
Many thanks for your interest but as I said the code is not interesting.
The code that saves/restore the Axiom environment is lost (with other
things), other parts of code are purely experimental (can't publish them
as they are, in fact I do not like them in general), other parts are not
port
"Bill Page" <[EMAIL PROTECTED]> writes:
> > And how come I cannot get any aldor to work together with
> > my fricas currently? I'm a little desperate.
> >
>
> I don't know. Perhaps you can report what problems you find so that
> other people can try to help.
I reported them just a few mails ago
Greg,
Can you make your code tree accessible somewhere? I can give you a
userid on axiom-developer.org and you can upload it there? I'd like to
pick up the changes you've been making and merge them back into the
main tree.
Tim
___
Axiom-developer mail
Le samedi 15 mars 2008 à 08:19 -0400, Bill Page a écrit :
[...]
> Maybe the problem with 'output' is a bug introduced by using FriCAS as
> the version of Axiom. But I do not recall specifically if Greg ever
> said exactly what version of Axiom he was using.
Yes, I always speak of « my » version
On 15 Mar 2008 08:22:15 +0100, Martin Rubey wrote:
> "Bill Page" writes:
>
> > On 3/14/08, Bill Page wrote:
> > > On 3/13/08, Gregory Vanuxem wrote:
> > > > ...
> > > > The output is :
> > > >
> > > > Looking in OutputPackage() for ??349042727 with code 483270060
> > > > and an err
Le vendredi 14 mars 2008 à 09:02 +0100, Martin Rubey a écrit :
> Dear all,
>
> unfortunately, I'm also having (severe) problems.
>
> My setup is as follows:
>
> fricas rev 258
>
[...]
> ---
>
> I compiled FriCAS with
Le vendredi 14 mars 2008 à 23:14 -0400, Bill Page a écrit :
> Greg,
>
> On 3/14/08, I wrote:
> >
> > This problem seems to be related only the use of 'output' from inside
> > an Aldor function:
> >
> > file: testoutput.as --
> > #include "axiom.as"
> > #pile
> > TestOutput: with
Le vendredi 14 mars 2008 à 08:03 +, Peter Broadbery a écrit :
> On Thu, Mar 13, 2008 at 9:21 PM, Gregory Vanuxem <[EMAIL PROTECTED]> wrote:
> > Dear Peter, *
> >
> > I was waiting for your small Aldor patch and never see it. Did you send
> > it somewhere ? The main concern of this mail is if
"Bill Page" <[EMAIL PROTECTED]> writes:
> On 3/14/08, Bill Page wrote:
> > On 3/13/08, Gregory Vanuxem wrote:
> > > ...
> > > The output is :
> > >
> > > Looking in OutputPackage() for ??349042727 with code 483270060
> > > and an error message : "export not found"
> > >
> >
> >
>
> As s
Greg,
On 3/14/08, I wrote:
>
> This problem seems to be related only the use of 'output' from inside
> an Aldor function:
>
> file: testoutput.as --
> #include "axiom.as"
> #pile
> TestOutput: with
> testOutput: (Integer) -> Integer
> == add
>
On 3/14/08, Bill Page wrote:
> On 3/13/08, Gregory Vanuxem wrote:
> > ...
> > The output is :
> >
> > Looking in OutputPackage() for ??349042727 with code 483270060
> > and an error message : "export not found"
> >
>
>
As shown at
http://axiom-wiki.newsynthesis.org/SandBoxEcfact
This
On 3/13/08, Gregory Vanuxem wrote:
> ...The main concern of this mail is if you are able to
> compile ecfact.as (attached) and _execute_ the
> LenstraEllipticMethod(Integer) function. On my system
> it fails, a bug somewhere. Am I alone with this issue ?
> Martin ? I'm still using the old build pr
On 3/14/08, Waldek Hebisch wrote:
> Bill Page wrote:
Actually just to be clear: I only reported successfully using the
modified hashcode routine that was originally posted to the list by
Peter Broadbery without further explanation. Martin then presented
this as the patch below.
> Martin Rubey wro
Bill Page wrote:
> Here it is:
>
> Index: src/interp/hashcode.boot
> ===
> --- src/interp/hashcode.boot (Revision 183)
> +++ src/interp/hashcode.boot (Arbeitskopie)
> @@ -55,7 +55,7 @@
> hash := hashCombine(
On Thu, Mar 13, 2008 at 9:21 PM, Gregory Vanuxem <[EMAIL PROTECTED]> wrote:
> Dear Peter, *
>
> I was waiting for your small Aldor patch and never see it. Did you send
> it somewhere ? The main concern of this mail is if you are able to
> compile ecfact.as (attached) and _execute_ the
> Lenstra
Dear all,
unfortunately, I'm also having (severe) problems.
My setup is as follows:
fricas rev 258
[EMAIL PROTECTED]:/local/scratch/fricas$ svn diff
Index: src/interp/hashcode.boot
===
--- src/interp/hashcode.boot(Revision 258)
On 3/13/08, Gregory Vanuxem <[EMAIL PROTECTED]> wrote:
> Dear Peter, *
>
> I was waiting for your small Aldor patch and never see it. Did you send
> it somewhere ?
From: Martin Rubey <[EMAIL PROTECTED]>
Date: 17 Jan 2008 09:21:22 +0100
Message-ID: <[EMAIL PROTECTED]>
Sender: [EMAIL PROTECTED]
Li
Dear Peter, *
I was waiting for your small Aldor patch and never see it. Did you send
it somewhere ? The main concern of this mail is if you are able to
compile ecfact.as (attached) and _execute_ the
LenstraEllipticMethod(Integer) function. On my system it fails, a bug
somewhere. Am I alone with t
On 1/30/08, Peter Broadbery wrote:
> On Jan 30, 2008 2:18 PM, Bill Page wrote:
> > Peter,
> >
> > Thanks for the explanation.
> >
> > Where can I find the source for 'RNS.spad'?
> >
> >
>
> I think you don't need it - the command is sufficient to load what's required.
>
Oh, ok. I think I see. You
Peter,
Thanks for the explanation.
Where can I find the source for 'RNS.spad'?
Regards,
Bill Page.
On 1/30/08, Peter Broadbery <[EMAIL PROTECTED]> wrote:
> On Jan 30, 2008 1:48 AM, Bill Page <[EMAIL PROTECTED]> wrote:
> > Peter,
> >
> > Thank you very much for sending the revised version of src
Peter,
Thank you very much for sending the revised version of src_aldor3.tgz!
I think eliminating the Java dependency is a very important thing if
we are to eventually include this as an optional part of the
Axiom/FriCAS/OpenAxiom build. I am trying to use your revised build
system with OpenAxiom
On 08/11/2007 08:55 PM, Franz Lehner wrote:
Now, in Axiom we should have a problem with saying that S is an
additive group.
That's true. All axioms are satisfied, except uniqueness of inverses and
the neutral element. What should it be? A FuzzyAbelianGroup?
Well, the problem is that we don't
Now, in Axiom we should have a problem with saying that S is an additive
group.
That's true. All axioms are satisfied, except uniqueness of inverses
and the neutral element. What should it be? A FuzzyAbelianGroup?
(4) -> zero?(t-t)
(4) false
Type: Boolean
I don't.
Although zero
On 08/10/2007 10:20 AM, Franz Lehner wrote:
On Fri, 10 Aug 2007, Bill Page wrote:
What is a "sequence domain"? Can you give a brief explanation or a
reference?
see below
On Fri, 10 Aug 2007, Martin Rubey wrote:
Do you mean "potentially" infinite sequences of some ground ring, with
componentwis
On Fri, 10 Aug 2007, Bill Page wrote:
What is a "sequence domain"? Can you give a brief explanation or a reference?
see below
On Fri, 10 Aug 2007, Martin Rubey wrote:
Do you mean "potentially" infinite sequences of some ground ring, with
componentwise addition and scalar multiplication?
Exactl
Franz Lehner <[EMAIL PROTECTED]> writes:
> dear all,
>
> > "The important thing is to escape the keyword generator by prefix with _."
> thanks a lot for your quick replies and solutions.
> I am trying to put together some functions to manipulate moment sequences and
> got stuck constructing the z
On 8/9/07, Franz Lehner wrote:
> dear all,
>
> > "The important thing is to escape the keyword generator by prefix with _."
> thanks a lot for your quick replies and solutions.
> I am trying to put together some functions to manipulate moment sequences
> and got stuck constructing the zero element.
dear all,
"The important thing is to escape the keyword generator by prefix with _."
thanks a lot for your quick replies and solutions.
I am trying to put together some functions to manipulate moment sequences
and got stuck constructing the zero element.
Am I right that there is no sequence do
Hello,
I was about to finish my answer, (see below) but the "_"-trick is by far
better.
Ralf
http://wiki.axiom-developer.org/[EMAIL PROTECTED]
Hi Franz,
On 08/09/2007 04:07 PM, Franz Lehner wrote:
> Hello,
>
> is there a way to get hold of generate$Stream using the aldor
> compiler? I sp
On 8/9/07, Franz Lehner <[EMAIL PROTECTED]> wrote:
> Hello,
>
> is there a way to get hold of generate$Stream using the aldor compiler?
> I spent quite some time until figuring out that generate is probably
> a keyword in aldor (I could not check as the aldor site seems to be down)
> and this cause
Franz Lehner <[EMAIL PROTECTED]> writes:
> is there a way to get hold of generate$Stream using the aldor compiler?
Not easily, because:
> I spent quite some time until figuring out that generate is probably
> a keyword in aldor
yes it is.
I wrote the following hack to be able to coerce Aldor
On Mon, 2006-11-27 at 12:21 +0100, Ralf wrote:
> Hello,
>
> I am quite a bit frustrated.
>
> It is clearly not a problem (up to something I have not yet looked into)
> to extend existing Axiom domains from libaxiom.al via some .as files.
> The question now is: How do I use them?
>
> Try
>
> #
Hello Bill,
Thanks a lot for your answer.
On 11/06/2006 03:37 AM, Bill Page wrote:
On November 5, 2006 7:31 PM Ralf Hemmecke wrote:
could someone tell me what ")compile blah.as" is actually
doing in Axiom?
It is certainly more than saying
aldor -O -Fasy -Fao -Flsp -laxiom -Mno-AXL_W_WillObs
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
> Hello,
>
> could someone tell me what ")compile blah.as" is actually doing in Axiom?
>
> It is certainly more than saying
>
> aldor -O -Fasy -Fao -Flsp -laxiom -Mno-AXL_W_WillObsolete -DAxiom -Y
> $AXIOM/algebra blah.as
>
> (without having an Axiom s
On November 5, 2006 7:31 PM Ralf Hemmecke wrote:
>
> could someone tell me what ")compile blah.as" is actually
> doing in Axiom?
>
> It is certainly more than saying
>
> aldor -O -Fasy -Fao -Flsp -laxiom -Mno-AXL_W_WillObsolete -DAxiom -Y
> $AXIOM/algebra blah.as
>
> (without having an Axiom
The second restriction is more severe. In fact, I think it's a show
stopper. The current signature of Plus is
Plus(
F: (T: LabelType) -> CombinatorialSpecies(T),
G: (T: LabelType) -> CombinatorialSpecies(T)
)(L: LabelType): CombinatorialSpecies(L) == add { ... }
Although this compiles an
I just checked in the first attempt to an axiom-port of
aldor-combinat. Unfortunately, we won't get anywhere with the current abilities
of axiom and the aldor interface.
Meanwhile, we would need both "extend" and dependent types to work. Details:
We define LabelType as follows: (the types from l
Cliff Yapp <[EMAIL PROTECTED]> writes:
| On Wednesday 13 September 2006 11:56 pm, Page, Bill wrote:
|
| > I think that this is so far past our current skill level and
| > the available resources that there is virtually no chance that
| > this will ever be anything but a paper exercise.
|
| I thi
On Wednesday 13 September 2006 11:56 pm, Page, Bill wrote:
> I think that this is so far past our current skill level and
> the available resources that there is virtually no chance that
> this will ever be anything but a paper exercise.
I think it MIGHT be possible for us to make SPAD support th
We should focus on either SPAD (make it better) or Aldor (hopeless).
Gaby, you should have replaced 'better' by 'Aldor' (language). ;-)
Ralf
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-d
Martin Rubey <[EMAIL PROTECTED]> writes:
| Dear all,
|
| I believe that we should *not* embark on designing yet another language. I
| played enough with Aldor meanwhile to really appreciate the language - with
| it's deficiencies.
|
| Those of you inclined on working on the language:
|
| PLEASE
Dear all,
I believe that we should *not* embark on designing yet another language. I
played enough with Aldor meanwhile to really appreciate the language - with
it's deficiencies.
Those of you inclined on working on the language:
PLEASE get started understanding the interpreter and possibly exte
--- "Page, Bill" <[EMAIL PROTECTED]> wrote:
> On Wednesday, September 13, 2006 11:46 PM Cliff Yapp wrote:
>
> > ...
> > [no Aldor open source license]
> > This of course does not mean that we cannot learn from and
> > use the ideas in Aldor - merely that we must take our SPAD
> > beginnings and
On Wednesday, September 13, 2006 11:46 PM Cliff Yapp wrote:
> ...
> [no Aldor open source license]
> This of course does not mean that we cannot learn from and
> use the ideas in Aldor - merely that we must take our SPAD
> beginnings and build them up into something better.
>
> If we must do th
Sorry, my bad - I should have started a new thread.
CY
--- root <[EMAIL PROTECTED]> wrote:
> wow, we've really wandered off the question. i thought we were
> discussing
> the question of how to implement a reflection domain that could
> figure out
> things about domains. --t
>
___
On July 27, 2006 11:37 AM C Y wrote:
>
> Axiom's core is currently based on Lisp, and I personally
> think this is a Good Thing.
I agree. I do not see any reason to want to replace the
current run-time environment of Axiom with anything else.
Axiom's algebra library depends strongly on the
S-ex
wow, we've really wandered off the question. i thought we were discussing
the question of how to implement a reflection domain that could figure out
things about domains. --t
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongn
> > I might mention that the lisp output would be significantly easier> > to parse and maintain.
>> Are you saying that aldor should not be translated to C or Fortran> or whatever other target there will be in the future?A point which is probably orthogonal to this discussion but issomething to con
Yes, me. It seems, there is something wrong with the website.
Ralf
On 02/08/2006 08:30 PM, C Y wrote:
Anybody else having trouble downloading the linux version of Aldor?
CY
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.n
On January 19, 2006 3:23 PM Jay Belanger wrote:
>
> Bill Page previously wrote:
> > The Axiom website is a wiki (user editable), so it would be very
> > easy to add a page consisting of the petition to Free Aldor. We
> > could freeze the text and then readers could "sign" it by simply
> > adding a
--- Jay Belanger <[EMAIL PROTECTED]> wrote:
> Okay; that's done, and there's a FreeAldor page.
Added my name (forgot to sign in though - opps).
> It wasn't a server error and there wasn't an error message.
> My browser simply kept trying without success. (I use
> Firefox; the wheel thing in t
"Bill Page" <[EMAIL PROTECTED]> writes:
...
> I suggest you first create a link such as [Free Aldor] in a
> short into paragraph by editing the following page:
>
> http://wiki.axiom-developer.org/AxiomCommunity
Okay; that's done, and there's a FreeAldor page.
You previously wrote
> The Axiom webs
On January 19, 2006 8:40 AM Jay Belanger wrote:
>
> Jay Belanger <[EMAIL PROTECTED]> writes:
> ...
> > Tonight I'll either post it (if I can figure it out) or ask
> > you for help (if I can't).
>
I suggest you first create a link such as [Free Aldor] in a
short into paragraph by editing the foll
Jay Belanger <[EMAIL PROTECTED]> writes:
...
> Tonight I'll either post it (if I can figure it out) or ask you for
> help (if I can't).
I couldn't get through to the web site last night; I'll try again
later.
Jay
___
Axiom-developer mailing list
Axi
"Page, Bill" <[EMAIL PROTECTED]> writes:
> Jay,
>
> Were you still planning on posting this "petition" on the
> Axiom Wiki website? I think it is fine except for a couple
> of typos and a few suggested changes in wording that I
> point out below.
Thanks for the fixes; I didn't want to post it wit
Jay,
Were you still planning on posting this "petition" on the
Axiom Wiki website? I think it is fine except for a couple
of typos and a few suggested changes in wording that I
point out below.
Perhaps Tim Daly might like to comment on some of the
specific details in your proposed letter?
If you
I went on-line trying to locate information about Aldor, and came across
this, via Google:
http://www.cs.kent.ac.uk/pubs/1999/894/
www.algor.org is not responding. Does anyone know why?
--
Karl Hegbloom <[EMAIL PROTECTED]>
___
Axiom-developer m
"Bill Page" <[EMAIL PROTECTED]> writes:
> On January 13, 2006 12:06 PM Jay Belanger wrote:
>> ...
>> So that any potential signers could get a quick grasp of the
>> situation, a little history might be useful. What about
>> something like:
>
> Thanks for the draft. I think it is very good. I hav
On January 13, 2006 12:06 PM Jay Belanger wrote:
> ...
> So that any potential signers could get a quick grasp of the
> situation, a little history might be useful. What about
> something like:
Thanks for the draft. I think it is very good. I have inserted
a few explanations below. I will leave
"Bill Page" <[EMAIL PROTECTED]> writes:
...
> I would be very glad if you could write something.
So that any potential signers could get a quick grasp of the
situation, a little history might be useful. What about
something like:
Axiom is a sophisticated computer algebra system originally
Frederic Lehobey <[EMAIL PROTECTED]> writes:
...
>> Yes! Please write to Steven Watt. I think it would definitely
>> help if it is clear to Steven that many people would like to
>> have Aldor open source. Maybe what we need is a kind of
>> "petition" that people could "sign" and email to him. I fe
On January 12, 2006 6:31 PM Doug Stewart wrote:
>
> I live in London near the uwo. Is there any point in me going
> to see him?
Sure, why not? I expect you would find such a meeting very
interesting.
>
> If I did set up an appointment what would you want me to say
> to him?
Hmmm, maybe: "When
On January 12, 2006 6:41 PM Frederic Lehobey wrote:
> > "Bill Page" <[EMAIL PROTECTED]> writes:
> ...
> >
> > Yes! Please write to Steven Watt. I think it would definitely
> > help if it is clear to Steven that many people would like to
> > have Aldor open source. Maybe what we need is a kind of
>
--- Frederic Lehobey <[EMAIL PROTECTED]> wrote:
> I am very sad for people from the Axiom community to give
> such a message as `we have such a good free software that
> we are willing to drop it for an other replacement, please
> open source this possible substitute'.
Aldor is a conceptual hei
Hi,
On Thu, Jan 12, 2006 at 01:57:37PM -0500, Bill Page wrote:
> On January 12, 2006 11:39 AM Jay Belanger wrote:
> >
> > "Bill Page" <[EMAIL PROTECTED]> writes:
> > ...
> > >
> > > Please write to Steven Watt at
> > >
> > >[EMAIL PROTECTED]
> > >
> > > and ask him.
> >
> > Would it help to
I live in London near the uwo. Is there any point in me going to see him?
If I did set up an appointment what would you want me to say to him?
Doug Stewart P.Eng.
UWO Graduate
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://list
--- Bill Page <[EMAIL PROTECTED]> wrote:
> > > Please write to Steven Watt at
> > >
> > >[EMAIL PROTECTED]
> > >
> > > and ask him.
Well, I sent him an email (I think - tried the address on his
university website for variety).
> > Would it help to have more people write?
>
> Yes! Please wr
On > Sent: January 12, 2006 4:19 PM Karl Hegbloom wrote:
>
> On Thu, 2006-01-12 at 13:57 -0500, Bill Page wrote:
> > ... Maybe what we need is a kind of "petition" that people
> > could "sign" and email to him. I fear that perhaps Steven
> > does not take my claims that this is desired by many peo
On January 12, 2006 2:49 PM Jay Belanger wrote:
> ...
> "Bill Page" <[EMAIL PROTECTED]> writes:
> > I think it would definitely help if it is clear to Steven that many
> > people would like to have Aldor open source. Maybe what we need is a
> > kind of "petition" that people could "sign" and email
On Thu, 2006-01-12 at 13:57 -0500, Bill Page wrote:
> Yes! Please write to Steven Watt. I think it would definitely
> help if it is clear to Steven that many people would like to
> have Aldor open source. Maybe what we need is a kind of
> "petition" that people could "sign" and email to him. I fear
On January 12, 2006 11:39 AM Jay Belanger wrote:
>
> "Bill Page" <[EMAIL PROTECTED]> writes:
> ...
> >
> > Please write to Steven Watt at
> >
> >[EMAIL PROTECTED]
> >
> > and ask him.
>
> Would it help to have more people write?
Yes! Please write to Steven Watt. I think it would definitely
h
"Bill Page" <[EMAIL PROTECTED]> writes:
...
> Yes! Please write to Steven Watt.
Done.
> I think it would definitely help if it is clear to Steven that many
> people would like to have Aldor open source. Maybe what we need is a
> kind of "petition" that people could "sign" and email to him. I fea
"Bill Page" <[EMAIL PROTECTED]> writes:
...
>> Hey all - been a bit quiet lately :-). I was wondering, has
>> anybody heard anything new on the status of Aldor?
>>
>
> No... and it is quite discouraging.
>
> Please write to Steven Watt at
>
>[EMAIL PROTECTED]
>
> and ask him.
Would it help t
Clifford,
On January 11, 2006 12:16 PM you wrote:
>
> Hey all - been a bit quiet lately :-). I was wondering, has
> anybody heard anything new on the status of Aldor?
>
No... and it is quite discouraging.
Please write to Steven Watt at
[EMAIL PROTECTED]
and ask him. There must be some way
--- Bill Page <[EMAIL PROTECTED]> wrote:
> On October 23, 2005 2:51 PM C Y wrote:
> >
> > So the way things are organized is SPAD built on BOOT built
> > on Lisp? And the core reason for this is that BOOT makes it
> > much easier to build SPAD than building it in straight Lisp
> > would be?
>
On October 23, 2005 2:51 PM C Y wrote:
>
> --- Bill Page <[EMAIL PROTECTED]> wrote:
> >
> > I am sorry Clifford but your question strikes me as
> > very peculiar.
>
> Sorry, I didn't mean to offend - clearly I'm missing
> something fundamental.
>
> > As I said, I thought this was obvious.
>
--- Bill Page <[EMAIL PROTECTED]> wrote:
> > Is this still true? I have heard a couple variations
> > of the BOOT/Lisp story, but I haven't heard there was
> > a consensus that the look and feel of Lisp should be
> > avoided.
>
> I am sorry Clifford but your question strikes me as very
> pecul
On October 22, 2005 7:12 PM C Y wrote:
>
> --- Bill Page <[EMAIL PROTECTED]> wrote:
>
> > Contrary to some people, I think BOOT was and still
> > is very important in the overall design of Axiom. You
> > can see everywhere examples of how the language in
> > which something is written affects th
A bit of history
(Please note that this is NOT a criticism of either Dick Jenks
or Bill Burge, both of whom rank among the best people I've ever
met in this business. Dick was like a father to me on the Scratchpad
project. I'm the opinionated, stubborn son(-of-a-bitch) in this story)
Boot gre
--- Bill Page <[EMAIL PROTECTED]> wrote:
> Contrary to some people, I think BOOT was and still
> is very important in the overall design of Axiom. You
> can see everywhere examples of how the language in
> which something is written affects the look and feel
> of things written in that language.
> -Original Message-
> From: Bill Page [mailto:[EMAIL PROTECTED]
> Sent: Saturday, October 22, 2005 3:53 AM
> To: Weiss, Juergen
> Cc: axiom-developer@nongnu.org
> Subject: RE: [Axiom-developer] Aldor and Lisp
>
> On October 21, 2005 2:08 PM Juergen Weiss wrote
On October 21, 2005 2:08 PM Juergen Weiss wrote:
>
> In my opinion, a drawback of the current
> implementation of AXIOM in BOOT/LISP is,
> that BOOT/LISP does not easily allow the use of
> typed variables (defstruct). In more modern
> lisp programming lists are out, defstruct
> is in (if we forge
-26407
> -Original Message-
> From: Bill Page [mailto:[EMAIL PROTECTED]
> Sent: Friday, October 21, 2005 7:37 PM
> To: axiom-developer@nongnu.org
> Cc: Weiss, Juergen
> Subject: RE: [Axiom-developer] Aldor and Lisp
>
> On October 21, 2005 5:43 AM Juergen Weiss w
Bill,
There is a PHP production compiler written in scheme.
http://www.roadsend.com
t
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
On October 21, 2005 5:43 AM Juergen Weiss wrote:
> ...
> [about Aldor]
> I think, there had been an attempt for a reimplementation
> in Lisp/Boot before.
>
> Why they decided to reimplement in C and not in Lisp
> I do not know.
>
I wouldn't want to start a "language war" or anything, but
serio
Hi,
"as someone who shared his office for a few years
with Knut Wolf, who had been working for about a year
on A# (aldor), I can say" ;-) :
The old code was difficult to maintain. There was (is)
litte documentation. The error messages of the compiler
are not really very helpful. Errors in the co
Hello,
great that you pop in -- you are not at RISC-Linz anymore, are you?
currently, i am still at RISC.
> I wrote that parser almost 1.5 years ago (I guess). I still have it
on some
> Backup if someone is interested. It was implemented in Aldor. I could
parse
> all source files I te
Hello,
[Aldor Parser in Aldor]
An Aldor parser written in Aldor?! I did not receive the rest
of the background of this email, but it certainly sounds
interesting. Could you forward a copy to the email list?
i do not want to mess up the mailing list with public posting of binary
files. Howev
Page, Bill writes:
> On Wednesday, October 19, 2005 4:40 AM Martin Rubey wrote:
> > > > It is notable I think, that the original Axiom developers chose to
> > > > re-implement SPAD as Aldor (written in C) rather than continue to make
> > > > improvements to SPAD.
> > I'm absolutely certain t
"Page, Bill" <[EMAIL PROTECTED]> writes:
| On Wednesday, October 19, 2005 1:09 AM Gaby wrote:
| >
| > My current work on designing and implementing a general,
| > efficient, scalable, complete representation of ISO C++ (with
| > concepts) in C++ has led me to look at the materials on proof
| > te
On Wednesday, October 19, 2005 1:09 AM Gaby wrote:
>
> My current work on designing and implementing a general,
> efficient, scalable, complete representation of ISO C++ (with
> concepts) in C++ has led me to look at the materials on proof
> techniques in Axiom. I've read claims that Type:Type is
On Wednesday, October 19, 2005 5:02 AM Martin Rubey wrote:
>
> Christian Aistleitner writes:
>
> > I wrote that parser almost 1.5 years ago (I guess). I still
> > have it on some Backup if someone is interested. It was
> > implemented in Aldor. I could parse all source files I tested.
An Aldor p
1 - 100 of 130 matches
Mail list logo
