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 _______________________________________________ Glasgow-haskell-users mailing list [email protected] http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
