Fri Jan 18 23:21:06 CET 2013

Practical application

( Towards a practical application: audio processing code. )

* Will polymorphy be necessary? E.g. instantiate functionality over
  scalar and vector?

* Will type inference be necessary?  E.g. for constants?

* What about conditional execution?  This was a nontrivial part in the
  Haskell code.

I'm thinking to cut these short and bring them up when they are
actually needed.  There is a "proper" way to do this (as in the
Haskell code) and there is probably a "distilled" way to do this,
keeping only the basic things of the algo: the leverage without all
the layers of abstraction.