Sun Jul 26 23:13:43 EDT 2015
An important constraint is: should dimensions be fixed?
Essentially, this should be a type constraint.
Let's look at that first.
Two things need solving:
- Lifting to vector types
- Representing an interation over a Sys
EDIT: The typical case is an oscillator bank: state.
Start with a trivial example.
Using Sys won't work, since the output state is needed. Keep only
The core idea is to lift. What is being lifted? A Sys is lifted over
an input array, and (for now) the outputs are summed.
Start with Data.hs