Difference between revisions of "Functional Reactive Programming"
(Added a brief explanation in the new section "Introduction"; copied froman e-mail from Ertugrul Söylemez, with permission) |
(→Introduction: Netwire 4 is now on HackageDB.) |
||
Line 5: | Line 5: | ||
FRP is about domain-specific languages that capture the notion of |
FRP is about domain-specific languages that capture the notion of |
||
− | time-varying values. Let's take Netwire 4 as an example. |
+ | time-varying values. Let's take Netwire 4 as an example. You can install it either from HackageDB, |
+ | |||
− | Hackage yet, so you may want to grab it using darcs: |
||
+ | cabal install netwire |
||
− | |||
+ | |||
+ | or by grabbing the latest source code via darcs: |
||
+ | |||
darcs get http://darcs.ertes.de/netwire/ |
darcs get http://darcs.ertes.de/netwire/ |
||
+ | cd netwire |
||
+ | cabal install |
||
Imagine you have a simple GUI label that displays the number of seconds |
Imagine you have a simple GUI label that displays the number of seconds |
||
Line 45: | Line 50: | ||
Summary: FRP is about handling time-varying values like they were |
Summary: FRP is about handling time-varying values like they were |
||
regular values. |
regular values. |
||
+ | |||
− | |||
− | |||
== Libraries == |
== Libraries == |
||
* [http://hackage.haskell.org/package/sodium Sodium] |
* [http://hackage.haskell.org/package/sodium Sodium] |
Revision as of 16:24, 16 November 2012
Functional Reactive Programming (FRP) integrates time flow and compositional events into functional programming. This provides an elegant way to express computation in domains such as interactive animations, robotics, computer vision, user interfaces, and simulation.
Introduction
FRP is about domain-specific languages that capture the notion of time-varying values. Let's take Netwire 4 as an example. You can install it either from HackageDB,
cabal install netwire
or by grabbing the latest source code via darcs:
darcs get http://darcs.ertes.de/netwire/ cd netwire cabal install
Imagine you have a simple GUI label that displays the number of seconds passed since program start. In an event-based model this is actually quite a complicated task. You would have to create a label and update it all the time using some form of timer/idle event. In Netwire you write:
myLabel = time
Now let's say you want to have the same GUI, but the time should start at 10 and pass twice as fast, so you actually want to display twice the number of seconds passed plus 10:
myLabel = 10 + 2*time
Imagine you want to display the string "yes" in a label:
myLabel = "yes"
Now let's say you want to display "yes", when the space key is held down and "no" otherwise:
myLabel = "yes" . keyDown Space <|> "no"
You want to display time while pressed and "Press space" while not:
myLabel = fmap show time . keyDown Space <|> "Press space"
You want to display "yes" every other second and "no" otherwise:
myLabel = "yes" . holdFor 1 (periodically 2) <|> "no"
Imagine doing that with event-based code.
Summary: FRP is about handling time-varying values like they were regular values.
Libraries
- Sodium
- Grapefruit
- Reactive
- DataDriven
- Yampa
- wxFruit
- Elerea
- reactive-banana
- Netwire
- Fran (discontinued)
- Hackage packages in the category FRP
Publications and talks
- A Survey of Functional Reactive Programming
- Conal Elliott’s FRP-related publications
- Grapefruit-related publications and talks
- The Yale Haskell Group’s FRP-related publications
Blog posts
- FRP-related posts on Heinrich Apfelmus’ blog
- FRP-related posts on Conal Elliott’s blog
- FRP-related posts on Wolfgang Jeltsch’s blog
- Relative time FRP by Luke Palmer
- Demonstrating a Time Leak in Arrowized FRP by Edward Amsden
People
- Heinrich Apfelmus
- Antony Courtney
- Conal Elliott
- Patai Gergely
- Andy Gill
- Liwen Huang
- Paul Hudak
- Wolfgang Jeltsch
- Henrik Nilsson
- John Peterson