Skip to Main content Skip to Navigation
New interface
Conference papers

Monadic Functional Reactive Programming

Atze 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
Complete list of metadata
Contributor : Tijs Van Der Storm Connect in order to contact the contributor
Submitted on : Thursday, January 2, 2014 - 5:05:44 PM
Last modification on : Saturday, June 25, 2022 - 7:41:38 PM


  • HAL Id : hal-00923382, version 1



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



Record views