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

[Gabriel Dos Reis]

Ralf Hemmecke <address@hidden> writes:

[...]

| > I agree that this is nothing "fancy". Actually, reflection is
| > not really such a "fancy" concept at all, its just that we have
| > got used to not having access to this sort of information in
| > non lisp-based programming without first-order types.
| 
| Right, I am not used to reflection. Is there a collection of nice
| examples where reflection is a "must have"? 


It is hard to argue for "must have", because the only thing we need is
a binary file editor :-)

However, the way I see reflection uses in my own work is not too far
from the examples discussed in the papers

  *  Unrolling and Simplifying Expressions with Template Haskell, by
     Ian Lynagh, May 2003.

  *  Automatic skeletons in Template Haskell, by Kevin Hammond, Jost
     Berthold and Rita Loogen, June 2003.

  *  Optimising Embedded DSLs using Template Haskell, by Sean
     Seefried, Manuel Chakravarty, Gabriele Keller, March 2004.

at

   http://www.haskell.org/th/#papers


Jacques Carette also has excellent discussions in connection with
Gaussian elimination.

-- Gaby