Backpack to Work: Towards Backpack in Practice

Speaker: Edward Z. Yang

The universal organizing principle for large software systems in
programming languages today is the package, the unit by which reusable
code may be versioned and distributed. However, most package systems
provide only a weak form of modularity, where packages depend directly
on other packages. Backpack breaks new ground by arguing mixin packages
can be a good fit for package-level modularity. Unfortunately, Backpack
as was described in POPL'14 cannot be easily implemented for most
existing languages today (including Haskell), because it tightly couples
the compiler with the package manager. In this talk, I describe an
evolution of the Backpack design which respects the division between
package manager and compiler. This is not a paper design: it is
principally motivated by our implementation of Backpack in
GHC and the Cabal package system, which will be released with GHC 8.2.

[hartmut]

A very important research and implementation ! Thank You very much!
Looking forward to (pre-)releases of GHC 8.2.1 equipped with backpack.

What a pity that the audio is clipped / oversteered / has distortion. Hope You will repeat Your presentation some day :-)

[Kram]

Ugh that mic blew out fiercely. Did it sound like that in the room too?

[aph]

Couldn't duplication of code with String vs ByteString be alleviated via OverloadedStrings pragma?
If yes, why isn't it?