Functional reactive programming
Encyclopedia
Functional reactive programming (FRP for short) is a programming paradigm
for reactive programming
using the building blocks of functional programming
The key points of FRP are:
An additional common but contentious trait is a notion of consistency when ordering events (not just within one stream). Variants include synchrony and glitch freedom.
The semantic model of FRP in side-effect free languages is typically in terms of continuous functions and typically over time . In contrast, integration with a host language that has side-effects is typically given in terms of data flow or dependency graphs by extending the typical operational semantics to manipulate and use them.
Programming paradigm
A programming paradigm is a fundamental style of computer programming. Paradigms differ in the concepts and abstractions used to represent the elements of a program and the steps that compose a computation A programming paradigm is a fundamental style of computer programming. (Compare with a...
for reactive programming
Reactive programming
In computing, reactive programming is a programming paradigm oriented around data flows and the propagation of change. This means that it should be possible to express static or dynamic data flows with ease in the programming languages used, and that the underlying execution model will...
using the building blocks of functional programming
Functional programming
In computer science, functional programming is a programming paradigm that treats computation as the evaluation of mathematical functions and avoids state and mutable data. It emphasizes the application of functions, in contrast to the imperative programming style, which emphasizes changes in state...
The key points of FRP are:
- Input is viewed as a "behavior", or time-varying stream of eventsEvent-driven programmingIn computer programming, event-driven programming or event-based programming is a programming paradigm in which the flow of the program is determined by events—i.e., sensor outputs or user actions or messages from other programs or threads.Event-driven programming can also be defined as an...
- Continuous, time-varying values
- Time-ordered sequences of discrete events
- Time-varying values can be of higher orders
An additional common but contentious trait is a notion of consistency when ordering events (not just within one stream). Variants include synchrony and glitch freedom.
The semantic model of FRP in side-effect free languages is typically in terms of continuous functions and typically over time . In contrast, integration with a host language that has side-effects is typically given in terms of data flow or dependency graphs by extending the typical operational semantics to manipulate and use them.
External links
- Haskell related FRP research
- FrTime, a Racket implementation