Re: [Haskell-cafe] Fwd: Work on Collections Processing Arrows?

David Barbour <dmbarbour@gmail.com> writes:

you likened asynchronous/distributed products used in 'synch' to 'additive conjunction' in the earlier message (help for asynchronous arrows) and the same concept to multiplicative disjunction here.

I apologize; I transposed additive and multiplicative. Instead of this: Adam Megacz <megacz@cs.berkeley.edu> writes:

If you look at the corresponding multi-level language, the type of "synch"'s input (pair-of-streams) is additive conjunction [2] and its output type (stream-of-pairs) is multiplicative conjunction

I should have written: the type of "synch"'s input (pair-of-streams) is multiplicative conjunction ($\bindnasrepma$) and its output type (stream-of-pairs) is additive conjunction (&). -a