Tempo: Reconstructing Synchronous Reactive Programming with OCaml 5 EffectsRemoteRecorded
This program is tentative and subject to change.
Synchronous reactive programming gives reactive systems a deterministic temporal structure by organizing execution into logical instants and signal-based communication. The lineage from Boussinot’s synchronous reactive model to ReactiveML extends this discipline with cooperative threads, broadcast signals, dynamic processes, and higher-order functional programming. We present Tempo, a synchronous reactive programming library for OCaml 5 built on algebraic effects and deep handlers. The library reconstructs the core runtime mechanisms exposed as ReactiveML constructs as an ordinary OCaml 5 library rather than as a dedicated language extension: effect operations mark reactive suspension points, and the handler turns captured continuations into scheduler tasks. We evaluate this design through a comparative study with ReactiveML.
This program is tentative and subject to change.
Fri 28 AugDisplayed time zone: Eastern Time (US & Canada) change
11:00 - 12:30 | |||
11:00 30mTalk | Elements of Logic Programming in a Concatenative Functional LanguageRemote LOPSTR+PPDP Attila Egri-Nagy Akita International University | ||
11:30 30mTalk | Tempo: Reconstructing Synchronous Reactive Programming with OCaml 5 EffectsRemoteRecorded LOPSTR+PPDP Frédéric Dabrowski Université d'Orléans | ||
12:00 30mTalk | Wren: A Fast Logic Programming eDSL With Host Language Garbage Collection LOPSTR+PPDP | ||