ICFP 2023
Mon 4 - Sat 9 September 2023 Seattle, Washington, United States
Wed 6 Sep 2023 15:30 - 16:00 at B - Fifth Avenue - Modal FRP Chair(s): Amos Robinson

Over the past decade, a number of languages for functional reactive
programming (FRP) have been suggested, which use modal types to
ensure properties like causality, productivity and lack of space
leaks. So far, almost all of these languages have included a modal
operator for delay on a global clock. For some applications,
however, a global clock is unnatural and leads to leaky
abstractions as well as inefficient implementations. While modal
languages without a global clock have been proposed, no operational
properties have been proved about them, yet.

This paper proposes Async RaTT, a new modal language for
asynchronous FRP, equipped with an operational semantics mapping
complete programs to machines that take asynchronous input signals
and produce output signals. The main novelty of Async RaTT is a new
modality for asynchronous delay, allowing each output channel to be
associated at runtime with the set of input channels it depends on,
thus causing the machine to only compute new output when
necessary. We prove a series of operational properties including
causality, productivity and lack of space leaks. We also show that,
although the set of input channels associated with an output channel
can change during execution, upper bounds on these can be determined
statically by the type system.

Wed 6 Sep

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

15:00 - 16:00
Modal FRPICFP Papers and Events at B - Fifth Avenue
Chair(s): Amos Robinson Australian National University, Australia
Modal FRP for all: Functional reactive programming without space leaks in HaskellJFP Presentation
ICFP Papers and Events
Patrick Bahr IT University of Copenhagen
Link to publication DOI
Asynchronous Modal FRP
ICFP Papers and Events
Patrick Bahr IT University of Copenhagen, Rasmus Ejlers Møgelberg IT University of Copenhagen
DOI Pre-print