Tue Jul 24 12:21:24 EDT 2018

pure / applicative

So here's a thing.  Apart from state feedback, the language is pure.
Is it possible to rephrase it such that all primitives are pure, and
the state feedback is hidden somewhere else?

Basically, express it as a z transform?

So why can't I have a pure DSL?
The only reason is sharing.

Can applicative express sharing?