Re[2]: [Haskell-cafe] Haskell2Xml

Hello Dmitry, Friday, August 7, 2009, 3:04:37 PM, you wrote: generic programming in haskell generally means SYB-like things and Generic Haskell (at least i have read description of) was a extended version of Haskell with built-in support for generic programming. i.e. those type-specific operations that was implemented in SYB using type hackery, were built-in in GH. you may also read Comparing Libraries for Generic Programming in Haskell [http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-010.pdf] Comparing Approaches to Generic Programming in Haskell [http://www.cs.uu.nl/~johanj/publications/ComparingGP.pdf]

Well, great thanks for interesting links. 

But definitely at first I need a time to try to understand what Generic Haskell and EMGM are.

Does it stronger than Template Haskell? Could it be explained briefly and simplistic for first impression? Could it be compared with SYB or TH?

Would it be applied to realisation of translation or to target Haskell code? 

Regards, Dmitry

2009/8/7 Sean Leather

On Fri, Aug 7, 2009 at 12:05, John Lask wrote:

the paper:

Scripting XML with Generic Haskell Frank Atanassow, Dave Clarke and Johan Jeuring October 14, 2003

describes a translation from XML Schema to Haskell data types (like dtd2haskell) in generic haskell, I believe that the code for the tool described may also be available, how hard it would be to migrate over to vanilla haskell+generics is another question....

It looks like this almost might work in EMGM. They use a Label in addition to all the other representation structure elements. EMGM doesn't have a Label, but it might be useful to add it...

With any needed changes such as the Label done, migrating this Generic Haskell code to EMGM would not be difficult.

Sean

-- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com