Wed Jan 19 22:44:52 EST 2011

Monads, CPS: too serial?

The idea is that this strict serial character isn't really needed.
The real problem as mentioned before seems to be the management of
intermedate results.

The conflict is about:

  * Functions are simplest to definine using standard expression
    syntax, possibly with named intermediates.

  * DSP algorithms tend to work better in "constraint spec" form where
    inputs and outputs are explicitly named.

Conclusion: while I'm getting a bit annoyed by the overall feel of
this, it's probably best to first work with it a little bit.  My
problem seems to be more with the unfamilarity of using monads.
I.e. what to do with multiple outputs?