Re: [haskell-art] Haskell art?
On Fri, 4 Feb 2011, Stephen Sinclair wrote: Anyways, due to the field I work in, one subject area I find myself obsessed with is the seeming conflicts of interest between functional programming and real-time guarantees (for writing DSP programs, etc). The former allows more powerful ways to express programs and modularize logic, but seems to often require methods for abstracting machine architecture such as garbage collection, which is not compatible with time determinism. Avoiding GC seems to require the use of more restrictive languages like in the case of FAUST, which is basically a declarative DSP description language. I'd like to eventually find just the right balance between time determinism and general-purpose programming. FAUST is essentially like Arrow programming in Haskell. I prefer Arrows in Haskell because they are stricter. E.g. in FAUST you can plug together boxes with non-matching numbers of inputs and outputs and FAUST somehow connects them anyway. I suspect I would more like to get an error in such cases. In synthesizer-llvm I programmed DSP arrows that generate LLVM assembly code. There is no Garbage Collection going on silently. It should be appropriate for tasks with hard time and memory constraints. Actually, Haskell with the 'llvm' package is the greatest macro assembler I ever used! :-) ___ haskell-art mailing list haskell-art@lurk.org http://lists.lurk.org/mailman/listinfo/haskell-art
Re: [haskell-art] Haskell art?
On Sun, 13 Feb 2011, Hudak, Paul wrote: First, my group has designed a new computer music library that I call Euterpea (named after Euterpe, the Greek muse of music). Euterpea has all of the original functionality of Haskore, plus an arrow-based signal processing language for doing audio processing and sound synthesis. It also has a GUI for creating sliders, pushbuttons, and so on. Instructions for downloading Euterpea can be found here: You also told earlier that you have pure Haskell audio processing code. But that is not part of CCA (Commutative Causal Arrows) or Euterpea? (Btw. I did not understand why CCA needs both a preprocessor and Template Haskell, I thought that one of it should be enough.) Also, here is a link to some compositions, mostly by my grad student Donya Quick, all done entirely in Euterpea: http://haskell.cs.yale.edu/?page_id=279 I very like the examples and I am very curious about the Haskell sources that produce those results! Are there samples contained, that are not generated in Haskell or is there some arrangement that was not done in Haskell? ___ haskell-art mailing list haskell-art@lurk.org http://lists.lurk.org/mailman/listinfo/haskell-art