[<<][haskell][>>][..]
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
interpreter/compiler.




[Reply][About]
[<<][haskell][>>][..]