Practical Principled FRP Forget the Past, Change the Future, FRPNow!
Paper in proceeding, 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 I/O 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.

Space-leak

Functional Reactive Programming

Kripke logical relations

Purely functional I/O

Author

Atze van der Ploeg

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

Koen Lindström Claessen

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

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

07308566 (ISSN)

Vol. 50 9 302-314
978-1-4503-3669-7 (ISBN)

Subject Categories

Software Engineering

DOI

10.1145/2784731.2784752

ISBN

978-1-4503-3669-7

More information

Created

10/7/2017