[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: |
Page, Bill |
Subject: |
RE: [Aldor-l] [Axiom-developer] Re: exports and constants |
Date: |
Thu, 27 Jul 2006 12:55:02 -0400 |
On July 27, 2006 12:44 PM Gaby wrote:
> ... Basically, it boils down to manipulating things
> symbolically and Lisp is very good at that.
I do not see that reflection has anything specifically
to do with symbolic manipulation.
> Other languages can be used, but they are going to
> mimic Lisp.
Well, yeeaasss ... to the extent that they support first
order types. I admit that it is easy to to this kind of
thing in Lisp in a less structured way - at least it used
to be in versions of lisp before types in lisp became
popular. I don't know enough about types in modern lisp
to know how this would work now in compiled lisp programs.
>
> Unless, you have a way to implement this directly in
> the compiler. See Template Haskell (in GHC sources) for
> the kind of thing that is done.
>
It is very very easy for the compiler to generate self-
identifying type constants either all the time or as a
compile-time option. This can even been done in a simple
pre-compilation step if necessary.
Regards,
Bill Page.
- Re: [Aldor-l] [Axiom-developer] Re: exports and constants, (continued)
- RE: [Aldor-l] [Axiom-developer] Re: exports and constants, Bill Page, 2006/07/29
- non-constant constants was: Re: [Aldor-l] [Axiom-developer] Re: exports and constants, Ralf Hemmecke, 2006/07/29
- RE: [Aldor-l] non-constant constants was: Re: [Axiom-developer] Re: exports and constants, Bill Page, 2006/07/29
- Re: [Aldor-l] non-constant constants was: Re: [Axiom-developer] Re: exports and constants, Christian Aistleitner, 2006/07/29
- Re: [Aldor-l] non-constant constants was: Re: [Axiom-developer] Re: exports and constants, Ralf Hemmecke, 2006/07/29
- Re: [Aldor-l] [Axiom-developer] Re: exports and constants, Ralf Hemmecke, 2006/07/29
- Re: [Aldor-l] [Axiom-developer] Re: exports and constants, Christian Aistleitner, 2006/07/29
- Re: [Aldor-l] [Axiom-developer] Re: exports and constants, Gabriel Dos Reis, 2006/07/27
- RE: [Aldor-l] [Axiom-developer] Re: exports and constants,
Page, Bill <=
- Re: [Aldor-l] [Axiom-developer] Re: exports and constants, Gabriel Dos Reis, 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
- [Axiom-developer] Aldor translations, C Y, 2006/07/27
- Re: [Axiom-developer] Aldor translations, Antoine Hersen, 2006/07/27
- Re: [Axiom-developer] Aldor translations, root, 2006/07/27
- Re: [Axiom-developer] Aldor translations, C Y, 2006/07/27
- RE: [Axiom-developer] Aldor translations, Page, Bill, 2006/07/27
- [Axiom-developer] Re: Aldor translations, Ralf Hemmecke, 2006/07/28
- [Axiom-developer] Re: Aldor translations, C Y, 2006/07/28