Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Fri 28 Aug 2020 10:57 - 11:19 at HIW - Sessions 1 and 2

Updating Immutable Code

fragnix 1 is an ongoing exploration of fragment-based code distribution. Instead of packages as the unit of distribution, fragnix allows sharing and reusing individual functions, data types, type classes and instances as slices. Slices depend on other slices. A key idea is that slices are immutable. They are addressed by a hash of their content and their dependencies. This key idea is shared by other projects, for example Unison 2.

Code evolves over time. How can we cope with this change if slices are immutable? Our proposed solution is a fist-class notion of updates. Updates can be named, shared, and applied to other code bases. We will demonstrate typical workflows during development of applications and libraries with fragnix.

In a second part of the talk we will discuss how fragnix deals with type class instances. This is related to the more general “orphan instance problem” and how packages have to add dependencies to define type class instances. This might add to the more general discussion on those topics.

Fri 28 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

09:00 - 12:00: Sessions 1 and 2HIW at HIW
09:00 - 09:22
Talk
Asterius: bringing Haskell to WebAssembly
HIW
Cheng ShaoTweag I/O, Georgios KarachaliasTweag I/O, Hans HoeglundTweag I/O
09:22 - 09:44
Talk
Multiple Home Units
HIW
10:00 - 10:35
Talk
Lightning Talks 1
HIW
10:35 - 10:57
Talk
Sweet Egison: a Haskell Library for Non-Deterministic Pattern Matching
HIW
Satoshi EgiRakuten Institute of Technology, Rakuten, Inc. / The University of Tokyo, Akira KawataKyoto University, Mayuko KoriThe University of Tokyo, Hiromi OgawaUniversity of Tsukuba
10:57 - 11:19
Talk
Updating Immutable Code
HIW
Philipp SchusterUniversity of Tübingen, Germany, David BinderUniversity of Tübingen
11:19 - 11:31
Talk
GHC Status Update
HIW
Simon Peyton JonesMicrosoft, UK, Ben GamariWell-Typed LLP
11:31 - 12:00
Break
Social break
HIW