Mon Aug 3 10:07:32 EDT 2015
Applicative: Conclusions & Questions
- It seems the applicative instances allows proper sequencing of the
monadic operations to yield "pure" operations on signals.
Still, there is the question of duplication. It's too abstract for
me to see this atm..
- Can the applicative approach be used with _just_ a couple of
To try this out, first use RSig wrapper.
Looks like the main question is: can an integrator be represented?
Basically, does this make sense as a system:
r i -> Sig m r o
It doesn't. But something like this does:
Sig m r i -> Sig m r o
Can that represent an accumulator?