Tue May 4 12:44:19 EDT 2010
The essence of dataflow
(Read: the essence of dataflow for synchronous/clocked systems -- the
essencec of "connect").
Lifting FUNCTIONS over CHANNELS, the result is a memoization
structure -- output re-use -- a collection of nested `let'
expressions -- SSA form -- ...
The conclusion is that connections _implicitly_ introduce memoized
structure. Making this explicit is what it is all about.
The memoization structure seems then to be best represented by a State