421 SW 6th Ave., Suite 300
Portland, Oregon 97204

Next week’s tech talk, a special treat, with Jason Dagit dropping by to talk about using GADTs to clean up the darcs patch theory implementation.


* Tuesday, Oct 14, 2008, 10.30 - 11.30


Darcs is based on a data model, known as Patch Theory, that sets it apart from other version control systems. The power of this data model is that it allows Darcs to manage significant complexity with a relatively straightforward user interface.

We show that Generalized Algebraic Data Types (GADTs) can be used to express several fundamental invariants and properties derived from Patch Theory. This gives our compiler, GHC, a way to statically enforce our adherence to the essential rules of our data model.

Finally, we examine how these techniques can improve the quality of the darcs codebase in practice.

Official Website: http://www.galois.com/blog/2008/10/09/type-correct-changes-a-safe-approach-to-version-control-implementation/

Added by galois_tech_talks on October 9, 2008



are these recorded and put online? i would like to watch but cannot get to the galois office today.