Darcs patch theory and GADTs with Ganesh Sittampalam

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

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.

6 Comments

RSS feed for comments on this post. TrackBack URI

  1. Two quick questions. How close to half six do things get rolling? As I won’t be out of work in Kensington until about quarter past, but I’d love to see a talk on darcs. And, what sort of time do things wrap up so I can plan my way home.

    Comment by rh — January 20, 2008 #

  2. rh: Typically we start fairly soon after 6:30pm; however the first part of my talk is an introduction to types of version control system that only provides general background to the rest of the talk, so you’ll probably be able to pick things up if you arrive a bit late.

    I’m aiming at an hour or so for the talk, and we generally go to the pub afterwards for as long as people feel like staying.

    Comment by Ganesh Sittampalam — January 22, 2008 #

  3. Everyone can tell me how to pronounce the word “haskell”? I find nothing by google.

    Comment by shenlb — January 23, 2008 #

  4. Ack! I couldn’t make it.

    Did anybody video Ganesh’s talk?

    Comment by Peter — January 24, 2008 #

  5. @Peter

    Yes the talk was video’d. I will post it to the site when I’ve finished editing and encoding it etc. Unfortunately that’s quite a slow process so it will take at least a few days.

    Cheers,
    Neil

    Comment by admin — January 24, 2008 #

  6. Is there a speed comparison between darcs, mercurial and git somewhere in the video? If not can we get one.

    Thanks

    Comment by MB — April 18, 2008 #

Leave a comment

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