Functional reactive programming, refactored

Perez, Ivan and Bärenz, Manuel and Nilsson, Henrik (2016) Functional reactive programming, refactored. In: Proceedings of the 9th International Symposium on Haskell (Haskell '16), 22-23 September 2016, Nara, Japan.

[img]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview

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.

Item Type: Conference or Workshop Item (Paper)
Keywords: Functional reactive programming, Reactive programming, Stream programming, Monadic streams, Haskell
Schools/Departments: University of Nottingham UK Campus > Faculty of Science > School of Computer Science
Depositing User: Nilsson, Henrik
Date Deposited: 01 Sep 2016 09:42
Last Modified: 26 Sep 2016 15:02
URI: http://eprints.nottingham.ac.uk/id/eprint/36159

Actions (Archive Staff Only)

Edit View Edit View