Export to

• Google Calendar
• iCalendar file
• hCalendar markup
  <div class="vevent h-event"> <h1 class="summary p-name">Galois Tech Talk: The Future of Cabal (Haskell package management)</h1> <div class='date'><time class="dtstart dt-start" title="2008-10-07T10:30:00" datetime="2008-10-07T10:30:00">Tuesday, October 7, 2008 from 10:30am</time>–<time class="dtend dt-end" title="2008-10-07T12:00:00" datetime="2008-10-07T12:00:00">noon</time></div> <div class="location vcard p-location h-card"> <a class="url" href='http://calagator.org/venues/202390439'><span class='fn org p-name'>Galois, Inc</span></a> <div class="adr p-adr h-adr"> <div class="street-address p-street-address">421 SW 6th Ave. Suite 300</div> <span class="locality p-locality">Portland</span> , <span class="region p-region">OR</span> <span class="postal-code p-postal-code">97204</span> <div class="country-name p-country-name">US</div> (<a href='https://maps.google.com/maps?q=421%20SW%206th%20Ave.%20Suite%20300,%20Portland%20OR%2097204%20US'>map</a>) </div> </div> <div class="description p-description"> <p>Duncan Coutts, from Well-Typed (<a href="http://well-typed.com">http://well-typed.com</a>), will be giving a tech talk tomorrow about the technical direction of Cabal, Haskell package infrastructure, and the problems of managing very large amounts of Haskell code.</p> <p>...</p> <p>TITLE: The Future of Cabal -- "A language for build systems" and "Constraint solving problems in package deployment"</p> <p>SPEAKER: Duncan Coutts, Well-Typed, LLP</p> <p>DATE: Tuesday, Oct 7, 2008 10.30am</p> <p>LOCATION: Galois, Inc. 421 SW 6th Ave. Suite 300 (3rd floor of the Commonwealth Building) Portland, Oregon</p> <p>ABSTRACT:</p> <p>This will be an informal talk and discussion on two topics:</p> <ol> <li>A language for build systems</li> </ol> <p>Build 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.</p> <p>We'll then consider some very early ideas about what a build system language should look like and what properties it should have. Currently this takes the form of a design for a build DSL embedded in Haskell.</p> <ol> <li>Constraint solving problems in package deployment</li> </ol> <p>We are all familiar, at least peripherally, with package systems. Every Linux distribution has a notion of packages and most have high level tools to automate the installation of packages and all their dependencies. What is not immediately obvious is that the problem 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 specially crafted package repository.</p> <p>We 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 systems use. My hope is to provoke a discussion about the problem.</p> <p>We can concentrate on one topic or the other depending on peoples interest.</p> <p>ABOUT THE GALOIS TECH TALKS:</p> <p>Galois (<a href="http://galois.com">http://galois.com</a>) has been holding weekly technical seminars for several years on topics from functional programming, formal methods, compiler and language design, to cryptography, and operating system construction, with talks by many figures from the programming language and formal methods communities.</p> <p>The talks are open and free. If you're planning to attend, dropping a note to <a href="mailto:dons@galois.com">dons@galois.com</a> is appreciated, but not required. If you're interested in giving a talk, we're always looking for new speakers.</p> </div> <h3>Links</h3> <ul> <li><a class="url u-url" href="http://www.galois.com/">Website</a></li> </ul> </div>