[Aldor-l] Kudos, Re: Debug information

[Martin Rubey]

Dear Pippijn!

"Pippijn van Steenhoven" <pip88nl at gmail.com> writes:

> Hi, I collected some information that might help finding bugs.

[...]

> If anyone needs more information, please contact me. I am able to reliably
> reproduce all errors on all systems I tried, but I am very curious whether
> other people also get these errors. If you can't reproduce it, I can try to
> provide a test environment, but I am not sure whether I can do that.

> Aldor is a great language by design and the compiler code is quite clean. I'd
> love to continue working with it and I'd love to be able to help fix bugs or
> to be enlightened on these issues if they are not actually bugs.

First of all, I'm a mere Aldor user, so I cannot help, unfortunately.  I like
Aldor's design a lot and found that one can achieve beautiful things with it.
So I would like to send you my appreciation, that you start to dig into the
compiler sources.  I hope very much that you stay with us!

All the best,

Martin

-------------------------------------------------------------------------------
-- semi rant follows ----------------------------------------------------------

As you know, Aldor is only semi-free, which seems to prevents bundling with
Axiom (the computer algebra system) at the moment.  Although SPAD (the
extension language of axiom) and Aldor are quite close, the important bits of
Aldor are missing in SPAD - mainly truely first class types.  I give my best to
convince the Axiom compiler gurus to make SPAD converge to Aldor, but it seems
to be a hard task.  

It is already possible to use Aldor as compiler for Axiom, but unfortunately,
not all Aldor constructs are understood by Axiom, most notably, Aldor's
"extend".  Also, there are many problems caused by the fact the types or not
truly first class objects in SPAD.

Maybe you could help here, too...