[Haskell] reflection/metadata in Haskell?

[Mads Lindstrøm]

Hi

> I would rather argue that:
> - Template Haskell approx. *compile-time* reflection
> - Scrap your boilerplate II (ICFP 2004) approx. *run-time* reflection
After given the Scrap Your Boilerplate (SYB) issue further thought, I am
afraid I must say that you are right. What I should have said was that
SYB, opposed to Java-type reflection, has compile-time type checking.
Well, most of its constructs are checked at compile-time.

/Mads Lindstrøm

> - Generic Haskell is effectively a Haskell generator
> Ralf
> P.S.: Another way to get *compile-time* reflection in Haskell is of course type-level programming as pioneered by McBride and Hallgreen ...
> 
> > -----Original Message-----
> > From: haskell-bounces at haskell.org [mailto:haskell-bounces at haskell.org] On
> > Behalf Of Mads Lindstrøm
> > Sent: Wednesday, September 21, 2005 11:40 AM
> > To: haskell at haskell.org
> > Subject: Re: [Haskell] reflection/metadata in Haskell?
> > ...
> > I do not know of any Java-like reflection capabilities in Haskell.
> > However, "Scrap Your Boilerplate" (search google) and Generic Haskell
> > can do a lot of the same stuff reflection can do in Java. Think of it as
> > compile-time reflection.
> 
>