Thu Aug 25 19:14:29 CEST 2011

Recent HC stuff

I'm confused.

I understand:
 - Why my original formulation can't be a monad.
 - How it can be an arrow, and why the restricted control flow in the arrow is useful.

I don't understand:
 - How "bad" the suggestion is to use dynamic state variables
 - Oleg's comments on streams with extra inputs
 - How the stream monad could be useful for my state update problem