Actions as Data Full
In AN2, the AN1 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 AN2. Notice that here, provide Y2 is not an action but an actionyielder, 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