[Haskell-cafe] Haskell2Xml

[Bulat Ziganshin]

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 <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