[Aldor-l] [Axiom-developer] Re: exports and constants

[Christian Aistleitner]

Hello,

> But perhaps "has" is not so weak. What other applications of
> reflection are there other then conditional ones?

I do not know if you'd consider that to be reflection or not...
I'd need a generator for all the fields of a domain.
I'd need a way to determine the type of a field.
I'd need a way to generate all Domains (or functions mapping to domains)  
in the top-level scope.
I'd need a way instanciate a Domain completely at runtime.
...

Basically, just take a look at Java's reflection framework
http://java.sun.com/j2se/1.5.0/docs/api/java/lang/reflect/Field.html
http://java.sun.com/j2se/1.5.0/docs/api/java/lang/reflect/Method.html
http://java.sun.com/j2se/1.5.0/docs/api/java/lang/Class.html
...

--
Kind regards,
Christian