Mon Nov 13 10:28:29 EST 2017

Data is decoupled control

The purpose of data is to be consumed by code.

I've long a go read a nice articulation about this regarding algebraic
data types and pattern matching, boiling down to the idea that
constructing a data structure is the same as invoking all the code
that matches on it.  In essence, it is function call into the future.

On the lower level: a write to a data structure is a delayed jump to
the code that reads it, and can often be folded.

Not sure what to do with this generalization, other than the concrete
idea "a buffer write is a write to the state machine that reads it".