Personal tools


From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
Line 28: Line 28:
** [ Safe Functional Reactive Programming through Dependent Types]
** [ Safe Functional Reactive Programming through Dependent Types]
** [ Causal Commutative Arrows and Their Optimization]
** [ Causal Commutative Arrows and Their Optimization]
** [ 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.

Download Yampa


1 Introduction

2 Primitive signal functions

Yampa signal functions.png

(download original Image:Yampa signal functions.svg‎)

3 Switches

Each switch comes in two different flavors:

  1. immediate: switch to the new behaviour immediately and also calculate the return value based on the new behaviour.
  2. 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'.

4 Reactimation

5 External Links

6 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)

7 Known forks