Difference between revisions of "Yampa"
Jump to navigation
Jump to search
Line 28: | Line 28: | ||
** [http://vimeo.com/6632457 Safe Functional Reactive Programming through Dependent Types] |
** [http://vimeo.com/6632457 Safe Functional Reactive Programming through Dependent Types] |
||
** [http://vimeo.com/6652662 Causal Commutative Arrows and Their Optimization] |
** [http://vimeo.com/6652662 Causal Commutative Arrows and Their Optimization] |
||
+ | ** [http://www.youtube.com/watch?v=xtmo6Bmfahc Euterpea: From signals to symphonies] |
||
== Primitive signal functions == |
== Primitive signal functions == |
Revision as of 09:54, 2 July 2011
Yampa is a domain-specific embedded language for the programming of hybrid (discrete and continious) 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.
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.
- George Giorgidze created YampaSynth, a modular music synthesizer written in Haskell and using Yampa.
- [1] - Hai (Paul) Liu papers and slides
- Blog about Yampa - introduction tutorials and diagrams
- Demonstrating a Time Leak in Arrowized FRP
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.
- Space Invaders; a video game, demonstrating the usage of Yampa
- Nettle - Programming Network Routers
- Euterpea - computer music development (also uses CCA)
Known forks
- Animas
- code cleanup
- Facts and Theories blog by Edward Amsden
- FRVR
- restructuring of modules
- DIVE project
- Kristopher J. Blom - Dynamic, Interactive Virtual Environments section 8.3