Quoting Ralf Hemmecke <[EMAIL PROTECTED]>:
...
Bill Page wrote:
Ralf, these are just general comments about your approach and
aren't intended to be particularly critical.
Although I felt that it was the most critical reaction on one of my
mails that I have ever experienced from you, I know that you do that
to contribute to understanding the situation. I don't feel offended.
Good. :-) I am learning a lot from your examples.
Please take a look at:
http://wiki.axiom-developer.org/SandBoxAldorInductiveTypes
Here I have "simply" re-wrote my Expr2 Spad code into Aldor.
I really *love* the Aldor compiler. Everything important is
explicit and it showed me some very significant things that
were hidden in my Spad code - even though they work the
same. Spad does some remarkable things but some of the
most important ones too often seem hidden.
.. Now I will have to go back and re-write my Spad code
so that it looks as nice as the Aldor result.
By the way. Today I have learned how to include an integer
into the "left" or "right" part of Union(left: Integer, right: Integer).
There appears only an example in the AUG, but not a formal
description.
Please tell. I missing the example. I think this is quite important.
Regards,
Bill Page.
_______________________________________________
Axiom-mail mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-mail
