Changes http://wiki.axiom-developer.org/348EqualityInAny/diff -- The difference between 'Object' and 'Any' is that the former stays much more in line with the strict typing philosophy. I believe that 'Any' was rather a hack to put up with the lack of dependent types as needed for the 'series' operations.
The idea behind 'Object' is to wrap up an object together with its type. Thus, the operation 'object' corresponds to 'coerce$ANY1', and 'avail' is roughly 'dom' and 'obj' followed by 'retract$ANY1(dom)', except that the latter won't work... I'd say that 'Object' is rarely needed in Aldor. I guess, one cannot easily write 'Object' using SPAD, because of the lack of dependent types. I was probably too quick to say that I like 'Object' much better. I should have said: I like dependent types much better... -- forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
