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

[Bill Page]

On July 24, 2006 7:19 PM Gabriel Dos Reis wrote:
> 
> Ralf Hemmecke <ralf at hemmecke.de> writes:
> [...]
>> | So "has" is in fact a weak way to reflect about domains.
> 
> Yes.
>

I would also answer emphatically "yes".
 
> 
> Personnally, I don't find it a very general, useful feature to
> structure codes.
> 
> | But surely, we need true reflections.
> 

The most immediate application of reflection in Aldor, it seems
to me, is an essential part of implementing an interpreter
(such as B#).

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

Regards,
Bill Page.