CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Practical Principled FRP Forget the Past, Change the Future, FRPNow!

Atze van der Ploeg (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; Koen Claessen (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers))
ACM Sigplan Notices. 20th ACM SIGPLAN International Conference on Functional Programming (ICFP) (0362-1340). Vol. 50 (2015), 9, p. 302-314.
[Konferensbidrag, refereegranskat]

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.

Nyckelord: Functional Reactive Programming, Space-leak, Purely functional I/O, Kripke logical relations

Denna post skapades 2016-01-22. Senast ändrad 2016-10-07.
CPL Pubid: 231133


Läs direkt!

Länk till annan sajt (kan kräva inloggning)

Institutioner (Chalmers)

Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)



Chalmers infrastruktur