id,summary,reporter,owner,description,type,status,priority,resolution,keywords,cc,topic,difficulty,mentor
66,"Prepare a new Yampa release, including GADT optimizations",pesco,none,"The [http://haskell.org/yampa Yampa] library for functional reactive programming
has not had a public release for some time.
Henrik Nilsson has recently published
[http://www.cs.nott.ac.uk/~nhn/Publications/icfp2005.pdf a paper]
on further optimizing the framework using GADTs.
However, some work remains to be done on the code before a new
proper release can be made.

This project would entail:

 * Clean and polish Nilsson's code.
 * Revise the library's API.
 * Isolate the GADT-based optimizations and
   make them a compile-time option,
   to avoid portability regress.
 * Replace the current build system with a Cabal-based one.
 * As far as time permits, investigate further optimizations
   (such as those hinted in the paper).

NB. This project idea was originally ""Add support for incremental
evaluation (lazy processing) to Yampa"". Unfortunately,
correspondence with Henrik Nilsson, as well as the poster's
own experimentation, have left the feasability of that
project uncertain.


== References ==

 * Yampa. [http://www.haskell.org/yampa/]

 * Henrik Nilsson: ""Dynamic Optimization for Functional Reactive  
   Programming using Generalized Algebraic Data Types"".
   [http://www.cs.nott.ac.uk/~nhn/Publications/icfp2005.pdf]

== Interested Mentors ==
  * ?

== Interested Students ==
  * (2006) Sven Moritz Hallberg <[mailto:pesco@gmx.de]>",proposed-project,closed,OK,wontfix,yampa frp,,misc,unknown,not-accepted