Re: [Haskell] reflection/metadata in Haskell?
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 ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
RE: [Haskell] reflection/metadata in Haskell?
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: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] 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. ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
Re: [Haskell] reflection/metadata in Haskell?
Hi Srinivas Nedunuri I'm sure this question has been asked before, (but unf. the Haskell archives aren't searchable without downloading each month seperately), so I hope You can search here: http://www.mail-archive.com/haskell@haskell.org/ nobody minds me asking again. Is there any way to get metadata or reflection capabilities 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. /Mads cheers ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
Re: [Haskell] reflection/metadata in Haskell?
Dear Srinivas Nedunuri, Mensaje citado por Srinivas Nedunuri [EMAIL PROTECTED]: I'm sure this question has been asked before, (but unf. the Haskell archives aren't searchable without downloading each month seperately), so I hope nobody minds me asking again. Is there any way to get metadata or reflection capabilities in Haskell? Being a (somehow) related language, I would like to point out that Maude has full reflection capabilities, see http://maude.cs.uiuc.edu/ Best regards, Salvador. This message was sent using IMP, the Internet Messaging Program. ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
RE: [Haskell] reflection/metadata in Haskell?
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 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: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] 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. ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell