Sun Oct 16 15:52:57 EDT 2011
Monad vs. Applicative / Arrow
When I started out writing Staapl, I did not know Haskell, so (without
actually verifying) I assumed monads are any kind of "behind the
scenes data plumbing" mechanism.
However, it seems that the way the Staapl compiler is constructed is
more akin to an Arrow approach.
It would be interesting to formalize this a bit: find the natural way
of mapping a stack composition mechanism to/from Arrow.