Re: [Axiom-mail] Spad and inductive types

[Bill Page]

Quoting Ralf Hemmecke <address@hidden>:

> ... 
> 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.