ICFP 2023
Mon 4 - Sat 9 September 2023 Seattle, Washington, United States
Fri 8 Sep 2023 14:00 - 14:30 at B - Fifth Avenue - Haskell: Session 2 Chair(s): Facundo Domínguez

The Glasgow Haskell Compiler is known for its feature-laden runtime system (RTS), which includes lightweight threads, asynchronous exceptions, and a slew of other features. Their combination is powerful enough that a programmer may complete the same task in many different ways – some more advisable than others.

We present a user-accessible actor framework hidden in plain sight within the RTS and demonstrate it on a classic example from the distributed systems literature. We then extend both the framework and example to the realm of dynamic types. Finally, we raise questions about how RTS features intersect and possibly subsume one another, and suggest that GHC can guide good practice by constraining the use of some features.

Fri 8 Sep

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

14:00 - 15:30
Haskell: Session 2Haskell at B - Fifth Avenue
Chair(s): Facundo Domínguez Tweag
14:00
30m
Talk
An Exceptional Actor System (Functional Pearl)
Haskell
Patrick Redmond University of California at Santa Cruz, Lindsey Kuper University of California, Santa Cruz
DOI Pre-print
14:30
30m
Talk
HasTEE: Programming Trusted Execution Environments with Haskell
Haskell
Abhiroop Sarkar Chalmers University of Technology, Robert Krook Chalmers University of Technology, Sweden, Alejandro Russo Chalmers University of Technology, Sweden, Koen Claessen Chalmers University of Technology
DOI Pre-print
15:00
30m
Talk
Haskell Library for Safer Virtual Machine Introspection (Experience Report)
Haskell
Takato Otsuka The University of Electro-Communications, Hideya Iwasaki Meiji University
DOI