[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: |
Gabriel Dos Reis |
Subject: |
Re: [Aldor-l] [Axiom-developer] Re: exports and constants |
Date: |
27 Jul 2006 19:39:46 +0200 |
"Page, Bill" <address@hidden> writes:
[...]
| > 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.
Either we have a very different view of what "Reflection" is, or we
have a very different experience in the use and implementations of
that suff :-) I don't find Template Haskell implementation "very very
very easy". Here is an overview of Template Haskell
http://research.microsoft.com/~simonpj/Papers/meta-haskell/index.htm
http://www.haskell.org/th/#papers
-- Gaby
- Re: [Aldor-l] [Axiom-developer] Re: exports and constants, (continued)
- Re: [Aldor-l] [Axiom-developer] Re: exports and constants, Ralf Hemmecke, 2006/07/29
- 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, 2006/07/27
- Re: [Aldor-l] [Axiom-developer] Re: exports and constants,
Gabriel Dos Reis <=
- 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
- [Axiom-developer] Re: Aldor translations, Ralf Hemmecke, 2006/07/28