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".