Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Fri 28 Aug 2020 09:22 - 09:44 at HIW - Sessions 1 and 2

Haskell tooling has improved considerably over the last year. With the rise of new tools supporting IDEs in Haskell, certain limitations have become apparent in the GHC API. For example, it is complicated to propagate updates between dependent packages. This problem also manifests itself in working on a cabal project. When an executable component is being used in an interactive session and then changes are made to the library, the executable’s session needs to be restarted in order to be able to call changed library functions. In my Google Summer of Code Project I have been working on extending GHC to be able to handle multiple home units at the same time. We accomplish this by maintaining a set of dynamic flags and a home package table for each unit. This will enable developers to painlessly load multiple home units into a single GHCi session. Moreover, it might prove useful for follow up conbtributions to enable GHC to work as a build server. As such, it can compile multiple packages in parallel without being restarted, using less memory in the process. These changes will improve development on various Haskell language servers by not requiring work arounds for this issue in the future. Additionally, it allows Haskell language servers and IDEs to better support multiple components and projects with a single GHC instance.

Fri 28 Aug

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 12:00
Sessions 1 and 2HIW at HIW
09:00
22m
Talk
Asterius: bringing Haskell to WebAssembly
HIW
Cheng Shao Tweag I/O, Georgios Karachalias Tweag I/O, Hans Hoeglund Tweag I/O
09:22
22m
Talk
Multiple Home Units
HIW
10:00
35m
Talk
Lightning Talks 1
HIW

10:35
22m
Talk
Sweet Egison: a Haskell Library for Non-Deterministic Pattern Matching
HIW
Satoshi Egi Rakuten Institute of Technology, Rakuten, Inc. / The University of Tokyo, Akira Kawata Kyoto University, Mayuko Kori The University of Tokyo, Hiromi Ogawa University of Tsukuba
10:57
22m
Talk
Updating Immutable Code
HIW
Philipp Schuster University of Tübingen, Germany, David Binder University of Tübingen
11:19
12m
Talk
GHC Status Update
HIW
Simon Peyton Jones Microsoft, UK, Ben Gamari Well-Typed LLP
11:31
29m
Break
Social break
HIW