MPI-INF Logo
Campus Event Calendar

Event Entry

What and Who

mhmm: Making Haskell More Modular

Scott Kilpatrick
MMCI
SWS Student Defense Talks - Thesis Proposal
SWS  
Public Audience
English

Date, Time and Location

Thursday, 20 November 2014
14:00
60 Minutes
E1 5
029
Saarbrücken

Abstract

Module systems like that of Haskell permit only a weak form of
modularity in which module implementations directly depend on other
implementations and must be processed in dependency order. Module
systems like that of ML, on the other hand, permit a stronger form of
modularity in which explicit interfaces express assumptions about
dependencies, and each module can be typechecked and reasoned about
independently.

In this talk, I present Backpack, a new language for building
separately-typecheckable packages on top of a weak module system like
Haskell's. Not only does Backpack make Haskell a more modular
language, it establishes an entirely new direction for the design of
so-called package management systems: as typed module languages with
dependencies expressed via typed interfaces rather than names and
version ranges.

Contact

Maria-Louise Albrecht
--email hidden

Video Broadcast

Yes
Kaiserslautern
G26
112
passcode not visible
logged in users only

Maria-Louise Albrecht, 11/19/2014 14:16 -- Created document.