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