[Haskell-cafe] Fwd: Work on Collections Processing Arrows?
megacz at cs.berkeley.edu
Sat May 14 01:43:39 CEST 2011
David Barbour <dmbarbour at 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 at 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  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 (&).
More information about the Haskell-Cafe