[Haskell] reflection/metadata in Haskell?

[Stefan Holdermans]

Ralf,

On Sep 22, 2005, at 1:52 AM, Ralf Lammel wrote:
> I would rather argue that:
> - Template Haskell approx. *compile-time* reflection
> - Scrap your boilerplate II (ICFP 2004) approx. *run-time* reflection
> - Generic Haskell is effectively a Haskell generator

I think, Generic Haskell is a Haskell generator in the sense that  
it's currently implemented like that, i.e., as a preprocessing  
compiler. I assume that's what you mean by 'effectively'.  
Conceptually, it's a Haskell extension: indeed, one that gives you a  
certain form of reflection capabilities.

Regards,

Stefan