Skip to main content

Research Repository

Advanced Search

Functional reactive programming, refactored

Perez, Ivan; Bärenz, Manuel; Nilsson, Henrik

Authors

Ivan Perez psxip1@nottingham.ac.uk

Manuel Bärenz manuel@enigmage.de



Abstract

Functional Reactive Programming (FRP) has come to mean many things. Yet, scratch the surface of the multitude of realisations, and there is great commonality between them. This paper investigates this commonality, turning it into a mathematically coherent and practical FRP realisation that allows us to express the functionality of many existing FRP systems and beyond by providing a minimal FRP core parameterised on a monad. We give proofs for our theoretical claims and we have verified the practical side by benchmarking a set of existing, non-trivial Yampa applications running on top of our new system with very good results.

Publication Date Sep 22, 2016
Peer Reviewed Peer Reviewed
APA6 Citation Perez, I., Bärenz, M., & Nilsson, H. (2016). Functional reactive programming, refactored
Keywords Functional reactive programming, Reactive programming, Stream programming, Monadic streams, Haskell
Publisher URL http://dl.acm.org/citation.cfm?doid=2976002.2976010
Copyright Statement Copyright information regarding this work can be found at the following address: http://eprints.nottingh.../end_user_agreement.pdf

Files

paper.pdf (1.5 Mb)
PDF

Copyright Statement
Copyright information regarding this work can be found at the following address: http://eprints.nottingham.ac.uk/end_user_agreement.pdf





You might also like



Downloadable Citations

;