2010/8/8 Stephen Tetley <[email protected]>: > 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 [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
