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

Adam Megacz 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 [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




More information about the Haskell-Cafe mailing list