Info

Public Audience

English

60 Minutes

Saarbrücken

Package management systems have traditionally served as the media
through which (open source) software is distributed and installed.
Each package consists of a collection of program source files,
organized through name- and version-based dependencies on one another.
 Though ubiquitous in practice, these systems have largely evaded
formal treatment as typed programming languages, unlike the rich work
on "typed module systems" like those of the ML family of languages.

In this talk I will present a design for a typed language of packages
for the Haskell programming language, based on the state-of-the-art
module system design of "mixins."  Through this language design--in
particular, through the addition of typed *interfaces*--packages may
be correctly abstracted over their dependencies, which directly
results in greater flexibility and reuse, as well as the ability for
package authors to mechanically verify the absence of
installation-time errors.  A clean elaboration from package
expressions to bundles of ordinary source files shows how this
language adds functionality while maintaining compatibility with
existing compilers and tools.  Although this work takes Haskell as its
underlying source language, its design could readily be generalized to
define packages for other underlying languages.

--email hidden

passcode not visible

logged in users only