2010/8/8 Stephen Tetley <stephen.tet...@gmail.com>: > Maybe this paper is close? > > Type-safe diff for families of datatypes > Eelco Lempsink Sean Leather Andres Löh >
Thanks a lot! Just what I need.. and more trickier than I thought. They represent any ADT as a tree and use diff algorithm for trees to build 'EditScripts' - list of operations to transform src data to dest one. -- Sergey _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe