Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF or MPI-SWS or Local Campus Event Calendar

<< Previous Entry Next Entry >> New Event Entry Edit this Entry Login to DB (to update, delete)
What and Who
Title:mhmm: Making Haskell More Modular
Speaker:Scott Kilpatrick
coming from:Max Planck Institute for Software Systems
Speakers Bio:
Event Type:SWS Student Defense Talks - Thesis Proposal
Visibility:SWS
We use this to send out email in the morning.
Level:Public Audience
Language:English
Date, Time and Location
Date:Thursday, 20 November 2014
Time:14:00
Duration:60 Minutes
Location:Saarbr├╝cken
Building:E1 5
Room:029
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
Name(s):Maria-Louise Albrecht
Video Broadcast
Video Broadcast:YesTo Location:Kaiserslautern
To Building:G26To Room:112
Meeting ID:
Tags, Category, Keywords and additional notes
Note:
Attachments, File(s):
  • Maria-Louise Albrecht, 11/19/2014 02:16 PM -- Created document.