Data.Generics vs. Template Haskell

[skaller]

On Fri, 2006-08-25 at 00:53 +0400, Bulat Ziganshin wrote:
> Hello Vyacheslav,
> 
> Thursday, August 24, 2006, 11:51:46 PM, you wrote:
> 
> > I am trying to figure out where these two libraries stand in relation
> > to each other and which one is preferred to do generic programming in
> > Haskell. I understand that their goals often intersect but couldn't
> > find any good comparisons. Could someone point me in the right
> > direction?
> 
> search for "generics" on hswiki, you should find a lot of papers. in
> particular, there is a new paper that compares many different
> approaches to generic programming. in particular, TH is not g.p.
> tools, it's just a universal Haskell code generator whcih can be used
> to solve particular tasks in this area. but to solve general problem
> of defining traversal function what has some general case and a nu,ber
> of type-specific cases TH is not very appropriate

AFAIK this problem is now fully solved by Barry Jay:
polyadic traversal drops out of pattern calculus.

-- 
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net