Skip to main content

Back to the future: time travel in FRP

DOI 10.1145/3122955.3122957 dblp BibTeX

Abstract

Functional Reactive Programming (FRP) allows interactive applications to be modelled in a declarative manner using time-varying values. For practical reasons, however, operational constraints are often imposed, such as having a fixed time domain, time always flowing forward, and limiting the exploration of the past.

Related papers

Practical principled FRP: forget the past, change the future, FRPNow! ICFP 2015
Functional reactive programming with liveness guarantees ICFP 2013
Push-pull functional reactive programming Haskell 2009
Tardis: affordable time-travel debugging in managed runtimes OOPSLA 2014
Multiverse Notebook: Shifting Data Scientists to Time Travelers OOPSLA 2024
Back to the Future: The Story of Squeak - A Usable Smalltalk Written in Itself OOPSLA 1997
Back to futures JFP 2022
Real-Time FRP ICFP 2001