BEGIN:VCALENDAR VERSION:2.0 PRODID:-//Ensemble Independent//vPim 0.658//EN CALSCALE:Gregorian X-WR-CALNAME:Calagator METHOD:PUBLISH BEGIN:VEVENT DTSTART:20081007T103000 DTEND:20081007T120000 SUMMARY:Galois Tech Talk: The Future of Cabal (Haskell package management) CREATED:20081006T153717 LAST-MODIFIED:20081006T153717 DESCRIPTION:Duncan Coutts\, from Well-Typed (http://well-typed.com)\, will be giving a tech talk tomorrow about the technical direction of Cabal\, Has kell package infrastructure\, and the problems of managing very large amoun ts of Haskell\ncode.\n\n...\n\nTITLE:\nThe Future of Cabal -- "A language f or build systems" and "Constraint solving problems in package deployment"\n \nSPEAKER:\nDuncan Coutts\, Well-Typed\, LLP\n\nDATE:\nTuesday\, Oct 7\, 20 08\n10.30am\n\nLOCATION:\nGalois\, Inc.\n421 SW 6th Ave. Suite 300\n(3rd fl oor of the Commonwealth Building)\nPortland\, Oregon\n\nABSTRACT:\n\nThis w ill be an informal talk and discussion on two topics:\n\n1. A language for build systems\n\nBuild systems are easy to start but hard to get right. We' ll take the view of a language designer and look at where our current tools fall down in terms of safety/correctness and expressiveness.\n\nWe'll then consider some very early ideas about what a build system language should l ook like and what properties it should have. Currently this takes the form of a design for a build DSL embedded in Haskell.\n\n2. Constraint solving p roblems in package deployment\n\nWe are all familiar\, at least peripherall y\, with package systems. Every Linux distribution has a notion of packages and most have high level tools to automate the installation of packages an d all their dependencies. What is not immediately obvious is that the probl em of resolving a consistent set of dependencies is hard\, indeed it is NP- complete. It is possible to encode 3-SAT or Sudoku as a query on a speciall y crafted 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 knowledge about constraint solving rather than the current ad-hoc solvers that most real s ystems use. My hope is to provoke a discussion about the problem.\n\nWe can concentrate on one topic or the other depending on peoples interest.\n\n\n ABOUT THE GALOIS TECH TALKS:\n\nGalois (http://galois.com) has been holding weekly technical seminars for several years on topics from functional prog ramming\, formal methods\, compiler and language design\, to cryptography\, and operating system construction\, with talks by many figures from the pr ogramming language and formal methods communities.\n\nThe talks are open an d free. If you're planning to attend\, dropping a note to is appreciated\, but not required. If you're interested in giving a talk\, we're always looking for new speakers.\n\nTags:\nfunctional programming\, galois\, haskell\, pdxfunc URL:http://www.galois.com/ DTSTAMP:20081006T153717 UID:http://calagator.org/events/1250455803 END:VEVENT END:VCALENDAR