[Haskell-cafe] ADT patch/update
Sergey Mironov
ierton at gmail.com
Thu Aug 12 14:45:58 EDT 2010
2010/8/8 Stephen Tetley <stephen.tetley at 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
More information about the Haskell-Cafe
mailing list