Hello Johannes, Monday, January 23, 2006, 11:27:58 AM, you wrote: JW> I'd like to read some overview and comparison on "second-level JW> programming" in Haskell (and if there is none, I'm willing to contribute): citating my another letter: "when i was interested in generic programmimg with Haskell, i found 7 projects, which can be used for it: drift -fgenerics TH generic haskell polyp SYB strafunski" JW> what is the relation between Preprocessors (DrIFT), Template Haskell, JW> Data.Generics/Typeable (so perhaps have one example presented in each JW> of these frameworks) i also had an idea of small overview of these all tools. i divided them to 3 categories: general preprocessors/code generators TH DrIFT compile-time generic programming tools GH PolyP -fgenerics dynamic generic programming libraries SYB strafunski it's interesting that GHC itself armored with just one tool in each category! :) of course, -fgenerics is very weak tool, so compile-time generic programming is the area where GHC has lesser power JW> and how it compares to Reflection (including Annotations) as in JW> http://java.sun.com/j2se/1.5.0/docs/api/java/lang/reflect/package-summary.ht... JW> I have the feeling that annoations (in the Java sense, see JLS 9.6/9.7) JW> are a clever and powerful idea that we might want to copy. no opinion, just citating for haskell maillist :) -- Best regards, Bulat mailto:bulatz@HotPOP.com