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 <leather@cs.uu.nl>

On Fri, Aug 7, 2009 at 12:05, John Lask <jvlask@hotmail.com> 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