The essence of live coding: Change the program, keep the state!
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 Aug Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
|10:30 - 11:00|
|STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism|
|11:00 - 11:30|
|Synthesizing Functional Reactive Programs|
|11:30 - 12:00|
|The essence of live coding: Change the program, keep the state!|
Manuel Bärenzsonnen eServices GmbHFile Attached