On Wed, 2 Dec 2009, Stephen Tetley wrote:
As for the second half of what you get from a programming language, your system description frames what you want to do with an emphasis on dynamic aspects. This seems a good way off from the prior art in Haskell. For instance there are Haskell synthesizers - George Giorgidze's yampa-synth and Jerzy Karczmarczuk's Clarion (actually in Clean, but near enough). Here you build signal processing modules - unit generators, of course - Yampasynth uses arrows to do this Clarion uses infinite streams. With both you would build a synthesizer statically from unit generators and somehow run it to produce sounds[1].
Shameless advertisement here: http://hackage.haskell.org/package/synthesizer-core http://www.youtube.com/watch?v=KA6DE9jlpSY