Fri Jan 2 21:14:29 EST 2015
From actors to dataflow
Let's simplify this into a dataflow network.
Assume that each message send (append to queue) is actually a single
variable store. I.e. inboxes are dataflow variables.
Not the same model.. There needs to be a receive-multiple primitive
that continues after a set of messages have been received.
It's going off the rails again...
Abstract interpretation can only do scheduling. All the function
abstractions need to be compiled explicitly to state machines.
I wonder if I'm chasing a ghost here. Seems so... Time to let it sit
for a bit.