Archive for January, 2008

Darcs patch theory and GADTs with Ganesh Sittampalam

January 7, 2008 on 10:39 am | By admin | In | 6 Comments

Welcome HUGgers, and Happy 2008!

The next meeting of the Haskell User Group will be on Wednesday 23rd January from 6:30PM at City University. Many thanks to Ganesh Sittampalam of Credit Suisse, who will be speaking to us about “Darcs patch theory and GADTS”. Here is the abstract:

Darcs is a distributed version control system written in Haskell, noted for its unique “patch theory”, which provides a principled foundation for manipulating changes. In this talk I’ll introduce darcs briefly, talk about patch theory, and explain how recent development work for the upcoming darcs 2 release has made use of Haskell’s Generalised Algebraic Datatypes to eliminate certain classes of programming errors. No prior knowledge of GADTs will be assumed.

UPDATE: We will be in room AG04, as before. On entering the building turn right, and AG04 is a few doors along on the right hand side.

Powered by WordPress and Nifty Cube with Recetas theme design by Pablo Carnaghi.
Entries and comments feeds. Valid XHTML and CSS.