Practical principled FRP: Forget the past, change the future, FRPNow!
Journal article, 2015

We present a new interface for practical Functional Reactive Programming (FRP) that (1) is close in spirit to the original FRP ideas, (2) does not have the original space-leak problems, without using arrows or advanced types, and (3) provides a simple and expressive way for performing IO actions from FRP code. We also provide a denotational semantics for this new interface, and a technique (using Kripke logical relations) for reasoning about which FRP functions may "forget their past", i.e. which functions do not have an inherent space-leak. Finally, we show how we have implemented this interface as a Haskell library called FRPNow.


Purely Functional IO

Functional Reactive Programming

Kripke Logical Relations


Atze van der Ploeg

Chalmers, Computer Science and Engineering (Chalmers)

Koen Claessen

Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)


1523-2867 (ISSN)

Vol. 50 9 302-314

Subject Categories

Computational Mathematics

Computer Science

Mathematical Analysis



More information

Latest update