[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] merge branches/daly to trunk
From: |
Martin Rubey |
Subject: |
Re: [Axiom-developer] merge branches/daly to trunk |
Date: |
04 Jun 2007 20:28:19 +0200 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.4 |
"Bill Page" <address@hidden> writes:
> As far as I know, the only thing in silver (aka. axiom.daly,
> aka. axiom.trunk) is a first attempt at some regression testing. I believe
> that Gaby is trying to port this downstream [...]
I think it is a mistake to do that. We should port Christian Aistleitner's
code to use libaxiom instead of libaldor. It is excellent code, and extremely
user friendly. We have used it with *great* success in our species package.
I.e., it caught many mistakes that wouldn't have been discovered otherwise.
I know, this is open source. But I do not understand that we have to invent
the wheel so many times. I estimate that it would take four days full time to
get his code running for axiom, for anybody who knows a little aldor and knows
OutputForm.
As far as I remember, we would mainly need a domain TextWriter that provides
the functionality of textWriter$TextWriter, stdout$TextWriter and
stderr$TextWriter. Other domains, like String, then should provide functions
<<: (TextWriter, %) -> TextWriter
i.e., it takes a TextWriter and a String and "appends" the String to the given
TextWriter, thus producing a new one.
So, apart from stdout and stderr, what is needed, is an operation
textWriter: (Character -> ()) -> %
that takes a function that writes a single character and returns a TextWriter.
The domain TextWriter can be implemented in Aldor, but using the axiom library.
I did not try, but it is quite possible that one could even use the existing
implementation from libaldor. Hm, I should really try that.
Ralf and myself have already implemented some other Aldor domains using the
axiom library, in axcompat.as.nw and axcompat2.as.nw of our pecies project,
which you can download using
svn co svn://svn.risc.uni-linz.ac.at/hemmecke/combinat/
Martin
- Re: [Axiom-developer] NAG libraries, (continued)
- Re: [Axiom-developer] NAG libraries, Ralf Hemmecke, 2007/06/04
- Re: [Axiom-developer] NAG libraries, Gabriel Dos Reis, 2007/06/04
- Re: [Axiom-developer] NAG libraries, Ralf Hemmecke, 2007/06/04
- Re: [Axiom-developer] NAG libraries, Gabriel Dos Reis, 2007/06/04
- [Axiom-developer] merge branches/daly to trunk (was: NAG libraries), Bill Page, 2007/06/04
- [Axiom-developer] Re: merge branches/daly to trunk (was: NAG libraries), Waldek Hebisch, 2007/06/04
- [Axiom-developer] Re: merge branches/daly to trunk (was: NAG libraries), Gabriel Dos Reis, 2007/06/04
- Re: [Axiom-developer] merge branches/daly to trunk (was: NAG libraries), C Y, 2007/06/04
- Re: [Axiom-developer] merge branches/daly to trunk (was: NAG libraries), Martin Rubey, 2007/06/04
- RE: [Axiom-developer] merge branches/daly to trunk, Bill Page, 2007/06/04
- Re: [Axiom-developer] merge branches/daly to trunk,
Martin Rubey <=
- [Axiom-developer] AxiomUnit, Martin Rubey, 2007/06/04
- [Axiom-developer] Re: AxiomUnit, Christian Aistleitner, 2007/06/08
- [Axiom-developer] Re: AxiomUnit, Bill Page, 2007/06/08
- [Axiom-developer] Re: AxiomUnit, Christian Aistleitner, 2007/06/12
- [Axiom-developer] Re: AxiomUnit, Bill Page, 2007/06/12
- Re: [Axiom-developer] merge branches/daly to trunk, Gabriel Dos Reis, 2007/06/04
- Re: [Axiom-developer] merge branches/daly to trunk, Ralf Hemmecke, 2007/06/04
- Re: [Axiom-developer] merge branches/daly to trunk, Gabriel Dos Reis, 2007/06/04
- Re: [Axiom-developer] merge branches/daly to trunk, Ralf Hemmecke, 2007/06/04
- Re: [Axiom-developer] merge branches/daly to trunk, Gabriel Dos Reis, 2007/06/05