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