[Haskell-cafe] Haskell2Xml

Bulat Ziganshin bulat.ziganshin at gmail.com
Fri Aug 7 07:15:51 EDT 2009

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

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

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


Best regards,
 Bulat                            mailto:Bulat.Ziganshin at gmail.com

More information about the Haskell-Cafe mailing list