Re[2]: [Template-haskell] new TH tutorial (request for comments)
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
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):
This won't be of much help right now, but Ralf Hinze, Andres Loh and I are preparing lecture notes on Comparing approaches to generic programming for the Spring School on Datatype-Generic Programming 2006, to be held in Nottingham, April 2006, see http://www.cs.nott.ac.uk/ssdgp2006/ We intend to write an overview that would hopefully address some of the questions you have. If you're interested I can probably send you a preliminary version earlier (by the end of March). -- Johan
On 23 Jan 2006, at 13:33, Johan Jeuring 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):
This won't be of much help right now, but Ralf Hinze, Andres Loh and I are preparing lecture notes on Comparing approaches to generic programming for the Spring School on Datatype-Generic Programming 2006, to be held in Nottingham, April 2006, see
http://www.cs.nott.ac.uk/ssdgp2006/
We intend to write an overview that would hopefully address some of the questions you have. If you're interested I can probably send you a preliminary version earlier (by the end of March).
...or you could come to the school, and hear it in person! Jeremy Jeremy.Gibbons@comlab.ox.ac.uk Oxford University Computing Laboratory, TEL: +44 1865 283508 Wolfson Building, Parks Road, FAX: +44 1865 273839 Oxford OX1 3QD, UK. URL: http://www.comlab.ox.ac.uk/oucl/people/jeremy.gibbons.html
Dear Bulat and Johan, thanks for your comments and pointers. Johan Jeuring wrote:
This won't be of much help right now, but Ralf Hinze, Andres Loh and I are preparing lecture notes on Comparing approaches to generic programming for the Spring School on Datatype-Generic Programming 2006..
Sounds like that will be the paper that I want. Meanwhile (and independently), I wrote down some notes: http://dfa.imn.htwk-leipzig.de/~waldmann/draft/meta-haskell/ I'd be glad if this would turn into something useful, so please feel free to comment, and to use it (and I don't care too much about the venue of publication, so it can be wiki-ized or whatever). Best regards, -- -- Johannes Waldmann -- Tel/Fax (0341) 3076 6479/80 -- ---- http://www.imn.htwk-leipzig.de/~waldmann/ -------
participants (4)
-
Bulat Ziganshin -
Jeremy Gibbons -
Johan Jeuring -
Johannes Waldmann