A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
An efficient algorithm for type-safe structural diffing
2019
Proceedings of the ACM on Programming Languages (PACMPL)
Effectively computing the difference between two version of a source file has become an indispensable part of software development. The de facto standard tool used by most version control systems is the UNIX diff utility, that compares two files on a line-by-line basis without any regard for the structure of the data stored in these files. This paper presents an alternative datatype generic algorithm for computing the difference between two values of any algebraic datatype. This algorithm
doi:10.1145/3341717
fatcat:4cmuozxgafafhme2rh4u2glbsm