[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Aldor-l] [Axiom-developer] Re: exports and constants
From: |
Ralf Hemmecke |
Subject: |
Re: [Aldor-l] [Axiom-developer] Re: exports and constants |
Date: |
Wed, 26 Jul 2006 16:34:33 +0200 |
User-agent: |
Thunderbird 1.5.0.4 (X11/20060516) |
On 07/26/2006 03:56 PM, root wrote:
Ralf, Gaby,
If you generate lisp from Aldor and parse the result you will have
complete reflection information.
Well, you are always assuming that the target language is LISP.
The aldor compiler is able to target other languages, too. So I would
prefer a solution that is independent of the target system.
A runtime library would be perfectly OK.
The Trace package in libaldor provides a very limited reflection
http://lists.nongnu.org/archive/html/axiom-developer/2006-07/msg00106.html
If an extension of this package could be provided with the aldor
compiler as a runtime support, that would be better than going the lisp way.
This can be done dynamically by an aldor domain since you can invoke
the compiler and get the result. A 'refection' domain could have
functions to access all of the information available.
Assume you distribute a standalone executable. That will normally not
have the compiler living inside it. So your solution does not work in
that case.
I believe reflections are not too complicated once we know how the
internal datastructures for domains are. (Yes, yes, we must look inside
the compiler sources, or does anybody already have a description of how
domains are represented in memory?)
It would be a bit more complicated to figure out how functions could be
called with the appropriate type. The latter is inherently type-unsafe
and I am certainly not proposing it, but there are cases (like
AldorUnit) where reflection and calling () -> () functions makes sense.
To make it clear, I am only in favour of reflections in order to be able
to write nice programming support tools.
For ordinary users I cannot see an advantage of reflections.
Does anybody else have reasonable use-cases?
Ralf
- RE: [Aldor-l] [Axiom-developer] Re: exports and constants, (continued)
- Re: [Aldor-l] [Axiom-developer] Re: exports and constants, Jacques Carette, 2006/07/25
- Re: [Aldor-l] [Axiom-developer] Re: exports and constants, Gabriel Dos Reis, 2006/07/25
- Re: [Axiom-developer] Re: [Aldor-l] exports and constants, Ralf Hemmecke, 2006/07/25
- Re: [Aldor-l] [Axiom-developer] Re: exports and constants, Christian Aistleitner, 2006/07/26
- Re: [Aldor-l] [Axiom-developer] Re: exports and constants, Ralf Hemmecke, 2006/07/26
- Re: [Aldor-l] [Axiom-developer] Re: exports and constants, root, 2006/07/26
- Re: [Aldor-l] [Axiom-developer] Re: exports and constants,
Ralf Hemmecke <=
- Re: [Aldor-l] [Axiom-developer] Re: exports and constants, Gabriel Dos Reis, 2006/07/26
- RE: [Aldor-l] [Axiom-developer] Re: exports and constants, Page, Bill, 2006/07/26
- Re: [Aldor-l] [Axiom-developer] Re: exports and constants, root, 2006/07/26
- Re: [Aldor-l] [Axiom-developer] Re: exports and constants, Christian Aistleitner, 2006/07/27
- Re: [Aldor-l] [Axiom-developer] Re: exports and constants, root, 2006/07/27
- Re: [Aldor-l] [Axiom-developer] Re: exports and constants, Ralf Hemmecke, 2006/07/27
- Re: [Aldor-l] [Axiom-developer] Re: exports and constants, root, 2006/07/27
- RE: [Aldor-l] [Axiom-developer] Re: exports and constants, Page, Bill, 2006/07/27
- Re: [Aldor-l] [Axiom-developer] Re: exports and constants, Gabriel Dos Reis, 2006/07/27
- Re: [Aldor-l] [Axiom-developer] Re: exports and constants, Ralf Hemmecke, 2006/07/27