Generic Type-safeDiffAndPatchForFamiliesOfDatatypes
Stc
Date: 2009-06-25
Time: 11:45
Room: BBL room 471
Speaker: Eelco Lempsink
Title: Generic Type-Safe Diff and Patch for Families of Datatypes (thesis defense)
Abstract
The UNIX diff program finds the difference between two text
files using a classic algorithm for determining the longest
common subsequence; however, when working with structured
input (e.g. program code), we often want to find the
difference between tree-like data (e.g. the abstract syntax
tree). In a functional programming language such as Haskell,
we can represent this data with a family of (mutually
recursive) datatypes. In this talk a functional, type-safe,
datatype-generic implementation of diff (and the associated
program patch) is presented.
