ICFP 2019 (series) / Haskell 2019 (series) / Haskell 2019 /
The essence of live coding: Change the program, keep the state!
Fri 23 Aug 2019 11:30 - 12:00 at Aurora Borealis - Paper Session 5: FRP Chair(s): Christine Rizkallah
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 livecoding: “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.
Extended Abstract (EssenceOfLiveCodingAbstract.pdf) | 533KiB |
Fri 23 AugDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Fri 23 Aug
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:30 - 12:00 | |||
10:30 30mResearch paper | STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism Haskell Sebastian Ertel , Justus Adam Technische Universität Dresden, Norman A. Rink TU Dresden, Germany, Andrés Goens , Jeronimo Castrillon TU Dresden, Germany | ||
11:00 30mResearch paper | Synthesizing Functional Reactive Programs Haskell Bernd Finkbeiner , Felix Klein Saarland University, Ruzica Piskac Yale University, USA, Mark Santolucito Yale University, USA | ||
11:30 30mTalk | The essence of live coding: Change the program, keep the state! Haskell Manuel Bärenz sonnen eServices GmbH File Attached |