Sun Dec 10 17:09:05 EST 2017
Monadic languages vs CCC
Here's a problem to test: For my DSP language, one of the things that
really got to me there not being a default evaluation order that would
give a canonical "binding chain" when evaluating expressions. It's a
serious pain to lift everything to monadic values.
CCC might solve that, since it makes it possible to introduce
strictness and evaluation order, then map that on an arbitrary monadic