Monadic Functional Reactive Programming

A. J. Van Der Ploeg 1
1 ATEAMS - Analysis and Transformation based on rEliAble tool coMpositionS
Inria Lille - Nord Europe, CWI - Centrum Wiskunde & Informatica
Abstract : Functional Reactive Programming (FRP) is a way to program reactive systems in functional style, eliminating many of the problems that arise from imperative techniques. In this paper, we present an alternative FRP formulation that is based on the notion of a reactive computation: a monadic computation which may require the occurrence of external events to continue. A signal computation is a reactive computation that may also emit values. In contrast to signals in other FRP formulations, signal computations can end, leading to a monadic interface for sequencing signal phases. This interface has several advantages: routing is implicit, sequencing signal phases is easier and more intuitive than when using the switching combinators found in other FRP approaches, and dynamic lists require much less boilerplate code. In other FRP approaches, either the entire FRP expression is re-evaluated on each external stimulus, or impure techniques are used to prevent redundant re-computations. We show how Monadic FRP can be implemented straightforwardly in a purely functional way while preventing redundant re-computations.
Document type :
Conference papers
Liste complète des métadonnées

https://hal.inria.fr/hal-00923382
Contributor : Tijs Van Der Storm <>
Submitted on : Thursday, January 2, 2014 - 5:05:44 PM
Last modification on : Wednesday, November 29, 2017 - 3:05:44 PM

Identifiers

  • HAL Id : hal-00923382, version 1

Collections

Citation

A. J. Van Der Ploeg. Monadic Functional Reactive Programming. Proceedings of the ACM SIGPLAN Haskell Symposium , 2013, Unknown. ⟨hal-00923382⟩

Share

Metrics

Record views

281