Practical Principled FRP Forget the Past, Change the Future, FRPNow!
Paper i 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

Författare

Atze van der Ploeg

Chalmers, Data- och informationsteknik, Programvaruteknik

Koen Lindström Claessen

Chalmers, Data- och informationsteknik, Programvaruteknik

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

0362-1340 (ISSN)

Vol. 50 9 302-314

Ämneskategorier

Programvaruteknik

DOI

10.1145/2784731.2784752

ISBN

978-1-4503-3669-7