[Haskell-cafe] ADT patch/update

[Sergey Mironov]

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