Functional reactive programming, refactored
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...
| Main Authors: | , , |
|---|---|
| Format: | Conference or Workshop Item |
| Published: |
2016
|
| Subjects: | |
| Online Access: | https://eprints.nottingham.ac.uk/36159/ |
| _version_ | 1848795234949922816 |
|---|---|
| author | Perez, Ivan Bärenz, Manuel Nilsson, Henrik |
| author_facet | Perez, Ivan Bärenz, Manuel Nilsson, Henrik |
| author_sort | Perez, Ivan |
| building | Nottingham Research Data Repository |
| collection | Online Access |
| description | 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. |
| first_indexed | 2025-11-14T19:28:51Z |
| format | Conference or Workshop Item |
| id | nottingham-36159 |
| institution | University of Nottingham Malaysia Campus |
| institution_category | Local University |
| last_indexed | 2025-11-14T19:28:51Z |
| publishDate | 2016 |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | nottingham-361592020-05-04T18:10:04Z https://eprints.nottingham.ac.uk/36159/ Functional reactive programming, refactored Perez, Ivan Bärenz, Manuel Nilsson, Henrik 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. 2016-09-22 Conference or Workshop Item PeerReviewed Perez, Ivan, 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. Functional reactive programming Reactive programming Stream programming Monadic streams Haskell http://dl.acm.org/citation.cfm?doid=2976002.2976010 |
| spellingShingle | Functional reactive programming Reactive programming Stream programming Monadic streams Haskell Perez, Ivan Bärenz, Manuel Nilsson, Henrik Functional reactive programming, refactored |
| title | Functional reactive programming, refactored |
| title_full | Functional reactive programming, refactored |
| title_fullStr | Functional reactive programming, refactored |
| title_full_unstemmed | Functional reactive programming, refactored |
| title_short | Functional reactive programming, refactored |
| title_sort | functional reactive programming, refactored |
| topic | Functional reactive programming Reactive programming Stream programming Monadic streams Haskell |
| url | https://eprints.nottingham.ac.uk/36159/ https://eprints.nottingham.ac.uk/36159/ |