Wed Sep 30 18:18:26 CEST 2009
So, I have a notation that can push a z operator through operations to
end up as a variable operator (all operations work on current values,
and delays are implemented by the driver loop).
(ttx r/z #'(+ a (z (+ b (z (+ (a b)))))))
=> (+ a (+ ((z 1) b) (+ (a ((z 2) b)))))
Next: do the same for operator specifications (polynomials in z).
It's probably best to separate operatiors and other things using a
type system, however, an operator is something where z can be an
argument to an operation (where the operation is then an operator on