Composable Higher-Order Reactors as the Basis for a Live Reactive Programming Environment
A live programming environment allows programmers to edit programs while they are running.This means that successive “edit steps” must not allow a programmer to bring the program in a form that does not make any sense to the underlying language processor (i.e. parser, compiler,…). Many live programming environments therefore rely on disciplined edit steps that are based on language elements such as objects, classes, and methods. Textual modifications to these elements are not seen as edit steps until some “accept” button is hit.Unfortunately, no such elements exist in current reactive languages. We present a new reactive language, called Haai, that is based on first-class higher-order reactors. Linguistically, Haai programs correspond to reactors or compositions of reactors. At run-time, reactors produce an infinite stream of values just like signals and behaviours in existing languages.Haai’s live programming environment relies on textual modifications of entire reactors as its basic edit steps. Changing a reactor automatically updates all occurrences of that reactor in the reactive program, while it is running.
Pre-Print (splashws18reblsmain-p12-p-72a2fb3-38877-final.pdf) | 772KiB |
Slides (REBLS_2018-Composable_Higher-Order_Reactors-slides.pdf) | 1009KiB |
Sun 4 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
15:30 - 17:00 | |||
15:30 22mTalk | Composable Higher-Order Reactors as the Basis for a Live Reactive Programming Environment REBLS Bjarno Oeyen Vrije Universiteit Brussel, Humberto Rodriguez Avila Vrije Universiteit Brussel, Sam Van den Vonder , Wolfgang De Meuter Vrije Universiteit Brussel File Attached | ||
15:52 22mTalk | Explicitly Comprehensible Functional Reactive Programming REBLS Media Attached File Attached | ||
16:15 22mTalk | A Reactive Language for Analyzing Cloud Logs REBLS Guillaume Baudart IBM Research, Louis Mandel IBM Research, Olivier Tardieu IBM Research, Mandana Vaziri IBM Research File Attached | ||
16:37 22mTalk | Visualizing Reactive Execution History using Propagation Traces REBLS Takumi Hikosaka Ritsumeikan University, Tetsuo Kamina Oita University, Katsuhisa Maruyama Ritsumeikan University File Attached |