SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Mon 16 Nov 2020 11:40 - 12:20 at SPLASH-IV - Session 2 Chair(s): Mark Santolucito

One rarely encounters programming languages and frameworks that provide general-purpose and type-safe hot code swap. It is demonstrated here that this is entirely possible in Haskell, by faithfully following the motto of live coding: “Change the program, keep the state.”

With generic programming, one easily arrives at an automatic state migration function. The approach can be generalised to an arrowized Functional Reactive Programming framework that is parametrized by its side effects. It allows for building up complete live programs from reusable, modular components, and to separate data flow cleanly from control flow. Useful utilities for debugging and quickchecking are presented.

Mon 16 Nov

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

11:00 - 12:20
Session 2REBLS at SPLASH-IV
Chair(s): Mark Santolucito Barnard College, Columbia University, USA
11:00
40m
Research paper
Asynchronous Monad for Reactive IoT Programming
REBLS
Tian Zhao University of Wisconsin-Milwaukee, Adam Berger University of Wisconsin -- Milwaukee, Yonglun Li University of Wisconsin -- Milwaukee
File Attached
11:40
40m
Research paper
The essence of live coding: Change the program, keep the state!
REBLS
Manuel Bärenz sonnen eServices GmbH