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