bulat.ziganshin at gmail.com
Fri Aug 7 07:15:51 EDT 2009
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
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?
> 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.
Bulat mailto:Bulat.Ziganshin at gmail.com
More information about the Haskell-Cafe