Actions as Data Full


  In AN­2, the AN­1 yielder application Y1 to Y2 can be written as the yielder (provide Y 2) then Y1, so there seems to be no need for the former notation in AN­2. Notice that here, provide Y2 is not an action but an action­yielder, composing the data operation provide (which maps data to actions) with the yielder Y2.




   
Data| Flow of Data and Control| Effects on Storage| Scopes of Bindings| Interactive Processes