Difference between revisions of "Yampa"
Jump to navigation
Jump to search
(Link to "Demonstrating a Time Leak in Arrowized FRP" redirected to the Web archive; removed link to Edward Amsden's blog (dead link)) |
(Updated links to Vimeo, Euterpea, Nettle, foo.ps) |
||
| Line 24: | Line 24: | ||
** [http://lambdor.net/?p=117 Dataflow diagram of Yampa reactimate] |
** [http://lambdor.net/?p=117 Dataflow diagram of Yampa reactimate] |
||
** [http://lambdor.net/?p=113 Activity diagram of Yampa reactimate] |
** [http://lambdor.net/?p=113 Activity diagram of Yampa reactimate] |
||
| − | * References: [https:// |
+ | * References: [https://svn.code.sf.net/p/frvr/code/AFRP/trunk/src/foo.ps ps], [http://lambdor.net/wp-content/uploads/2010/12/AFRP-Reference.pdf pdf] |
* Videos |
* Videos |
||
| − | ** [ |
+ | ** [https://vimeo.com/6632457 Safe Functional Reactive Programming through Dependent Types] |
| − | ** [ |
+ | ** [https://vimeo.com/6652662 Causal Commutative Arrows and Their Optimization] |
** [http://www.youtube.com/watch?v=xtmo6Bmfahc Euterpea: From signals to symphonies] |
** [http://www.youtube.com/watch?v=xtmo6Bmfahc Euterpea: From signals to symphonies] |
||
| Line 75: | Line 75: | ||
* {{HackagePackage|id=cuboid}}; a small puzzle game |
* {{HackagePackage|id=cuboid}}; a small puzzle game |
||
* {{HackagePackage|id=Haskelloids}}; asteroids clone |
* {{HackagePackage|id=Haskelloids}}; asteroids clone |
||
| − | * [http://haskell.cs.yale.edu/ |
+ | * [http://haskell.cs.yale.edu/nettle/ Nettle] - Programming Network Routers |
| − | * [http://haskell.cs.yale.edu/ |
+ | * [http://haskell.cs.yale.edu/euterpea/ Euterpea] - computer music development (also uses [[CCA]]) |
* {{HackagePackage|id=YFrob}}; robot simulation |
* {{HackagePackage|id=YFrob}}; robot simulation |
||
* [https://github.com/ivanperez-keera/haskanoid Haskanoid] A breakout-like videogame with SDL graphics and sound that can optionally be controlled with a Wiimote. |
* [https://github.com/ivanperez-keera/haskanoid Haskanoid] A breakout-like videogame with SDL graphics and sound that can optionally be controlled with a Wiimote. |
||
Revision as of 09:01, 15 September 2015
Yampa is a domain-specific embedded language for the programming of hybrid (discrete and continuous time) systems using the concepts of Functional Reactive Programming (FRP). Yampa is structured using Arrows, which greatly reduce the chance of introducing space- and time-leaks into reactive, time-varying systems.
Yampa was originally developed by the Yale Haskell Group based on the original idea of Conal Elliott's Fran.
Hackage: Yampa
Introduction
- Henrik Nilsson - A Brief Introduction to Functional Reactive Programming and Yampa
- Henrik Nilsson - ITU-FRP2010
- Paul Hudak - Yampa, Arrows, and Robots
- Yampa tutorials by Gerold Meisinger
- References: ps, pdf
- Videos
Primitive signal functions
(download original Image:Yampa signal functions.svg)
Switches
Each switch comes in two different flavors:
- immediate: switch to the new behaviour immediately and also calculate the return value based on the new behaviour.
- delayed: return the value based on the old behaviour, but use the new behaviour afterwards. To use delayed switch prefix the switching functions with the letter 'd', f.e. 'drpSwitchB'.
Reactimation
External Links
- Yampa-Users mailing list - Yampa-related comments, questions, discussions, and announcements. You can also send bug reports to yampa-bugs@cs.yale.edu.
- Yampy Cube - a live coding presentation with Yampa by Konstantin Zudov at Helsinki FRP Meetup May 6, 2015. (Source code on Github)
- George Giorgidze created YampaSynth, a modular music synthesizer written in Haskell and using Yampa.
- Hai (Paul) Liu papers and slides
- Blog about Yampa - introduction tutorials and diagrams
- Demonstrating a Time Leak in Arrowized FRP (Web archive)
- An overview of Yampa video clips on YouTube
Known users
- YampaSynth - is a software synthesizer implemented in Haskell using Yampa. It contains a framework of sound generating and sound shaping modules (e.g. oscillator, amplifier, mixer, envelope generator, filter, etc.) and example applications.
- Frag; a simple Quake 3 clone, using a very early version of Yampa called arrowized functional reactive programming (AFRP)
- SpaceInvaders; a video game, demonstrating the usage of Yampa
- cuboid; a small puzzle game
- Haskelloids; asteroids clone
- Nettle - Programming Network Routers
- Euterpea - computer music development (also uses CCA)
- YFrob; robot simulation
- Haskanoid A breakout-like videogame with SDL graphics and sound that can optionally be controlled with a Wiimote.