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@haskell.org [mailto:haskell-bounces@haskell.org] On Behalf Of Mads Lindstrøm Sent: Wednesday, September 21, 2005 11:40 AM To: haskell@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.