BEGIN:VCALENDAR PRODID;X-RICAL-TZSOURCE=TZINFO:-//Calagator//EN CALSCALE:GREGORIAN X-WR-CALNAME:Calagator METHOD:PUBLISH VERSION:2.0 BEGIN:VTIMEZONE TZID;X-RICAL-TZSOURCE=TZINFO:America/Los_Angeles BEGIN:DAYLIGHT DTSTART:20080309T020000 RDATE:20080309T020000 TZOFFSETFROM:-0800 TZOFFSETTO:-0700 TZNAME:PDT END:DAYLIGHT END:VTIMEZONE BEGIN:VEVENT CREATED;VALUE=DATE-TIME:20081006T223717Z DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20081007T120000 DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20081007T103000 DTSTAMP;VALUE=DATE-TIME:20081006T223717Z LAST-MODIFIED;VALUE=DATE-TIME:20081006T223717Z UID:http://calagator.org/events/1250455803 DESCRIPTION:Duncan Coutts\, from Well-Typed (http://well-typed.com)\, wil l be giving a tech talk tomorrow about the technical direction of Cabal\ , Haskell package infrastructure\, and the problems of managing very lar ge amounts of Haskell \;\ncode. \;\n \;\n... \;\n \;\nTIT LE: \;\nThe Future of Cabal -- "\;A language for build systems&qu ot\; and "\;Constraint solving problems in package deployment"\; \;\n \;\nSPEAKER: \;\nDuncan Coutts\, Well-Typed\, LLP \;\n \;\nDATE: \;\nTuesday\, Oct 7\, 2008 \;\n10.30am \;\n \; \nLOCATION: \;\nGalois\, Inc. \;\n421 SW 6th Ave. Suite 300 \;\ n(3rd floor of the Commonwealth Building) \;\nPortland\, Oregon \; \n \;\nABSTRACT: \;\n \;\nThis will be an informal talk and dis cussion on two topics: \;\n \;\n1. A language for build systems 3\;\n \;\nBuild systems are easy to start but hard to get right. We'l l take the view of a language designer and look at where our current too ls fall down in terms of safety/correctness and expressiveness. \;\n& #13\;\nWe'll then consider some very early ideas about what a build syst em language should look like and what properties it should have. Current ly this takes the form of a design for a build DSL embedded in Haskell.& #13\;\n \;\n2. Constraint solving problems in package deployment \ ;\n \;\nWe are all familiar\, at least peripherally\, with package sy stems. Every Linux distribution has a notion of packages and most have h igh level tools to automate the installation of packages and all their d ependencies. What is not immediately obvious is that the problem of reso lving a consistent set of dependencies is hard\, indeed it is NP-complet e. It is possible to encode 3-SAT or Sudoku as a query on a specially cr afted package repository. \;\n \;\nWe will look at this problem in a bit more detail and ask if the right approach might be to apply our k nowledge about constraint solving rather than the current ad-hoc solvers that most real systems use. My hope is to provoke a discussion about th e problem. \;\n \;\nWe can concentrate on one topic or the other d epending on peoples interest. \;\n \;\n \;\nABOUT THE GALOIS TE CH TALKS: \;\n \;\nGalois (http://galois.com) has been holding wee kly technical seminars for several years on topics from functional progr amming\, formal methods\, compiler and language design\, to cryptography \, and operating system construction\, with talks by many figures from t he programming language and formal methods communities. \;\n \;\nT he talks are open and free. If you're planning to attend\, dropping a no te to is appreciated\, but not required. If you're interested in giving a talk\, we're always looking for new speakers.\n\nTags: galois\, haske ll\, pdxfunc\, functional programming\n\nImported from: http://calagator .org/events/1250455803 URL:http://www.galois.com/ SUMMARY:Galois Tech Talk: The Future of Cabal (Haskell package management ) LOCATION:Galois\, Inc: 421 SW 6th Ave. Suite 300\, Portland OR 97204 US SEQUENCE:0 END:VEVENT END:VCALENDAR